---

Step * of Lemma nat_plus_properties

∀[i:ℕ+]. 0 < i
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[i:\mBbbN{}\msupplus{}].  0  <  i


By

---

Latex:
ProvePropertiesLemma

---

Home Index