---

Step * of Lemma sqntype_nat

∀[n:ℕ]. sqntype(n;ℕ)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  sqntype(n;\mBbbN{})


By

---

Latex:
EAuto  1

---

Home Index