---

Step * of Lemma debug2

∀m:ℤ. Dec(∀i:ℕm. 0 < i)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}m:\mBbbZ{}.  Dec(\mforall{}i:\mBbbN{}m.  0  <  i)


By

---

Latex:
Auto

---

Home Index