---

Step * of Lemma int_seg_subtype-nat

∀[m,n:ℤ].  {m..n-} ⊆r ℕ supposing 0 ≤ m
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index