---

Step * of Lemma nat-partial-nat

∀[n:ℕ]. (n ∈ partial(ℕ))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  (n  \mmember{}  partial(\mBbbN{}))


By

---

Latex:
Auto

---

Home Index