---

Step * of Lemma istype-int_upper

∀[n:ℤ]. istype({n...})
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbZ{}].  istype(\{n...\})


By

---

Latex:
Auto

---

Home Index