---

Step * 1 of Lemma str-to-nat-plus_wf


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

---

Latex:

---

Latex:

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


By

---

Latex:
Auto

---

Home Index