---

Step * of Lemma upper_subtype_nat

∀[m:ℤ]. {m...} ⊆r ℕ supposing 0 ≤ m
BY
{ xxxAutoxxx }

---

Latex:

---

Latex:
\mforall{}[m:\mBbbZ{}].  \{m...\}  \msubseteq{}r  \mBbbN{}  supposing  0  \mleq{}  m


By

---

Latex:
xxxAutoxxx

---

Home Index