---

Step * of Lemma istype-nat

istype(ℕ)
BY
{ Auto }

---

Latex:

---

Latex:
istype(\mBbbN{})


By

---

Latex:
Auto

---

Home Index