---

Step * of Lemma debug1

∀m:ℤ. Dec(∀i:ℕm. ∃j:ℕi. True)
BY
{ EAuto 2 }

---

Latex:

---

Latex:
\mforall{}m:\mBbbZ{}.  Dec(\mforall{}i:\mBbbN{}m.  \mexists{}j:\mBbbN{}i.  True)


By

---

Latex:
EAuto  2

---

Home Index