---

Step * of Lemma sqntype_int

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

---

Latex:

---

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


By

---

Latex:
EAuto  1

---

Home Index