---

Step * of Lemma zero-le-nat

∀[i:ℕ]. (0 ≤ i)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[i:\mBbbN{}].  (0  \mleq{}  i)


By

---

Latex:
Auto

---

Home Index