---

Step * of Lemma zero-seq_wf

0s ∈ ℕ ⟶ ℕ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
0s  \mmember{}  \mBbbN{}  {}\mrightarrow{}  \mBbbN{}


By

---

Latex:
ProveWfLemma

---

Home Index