---

Step * of Lemma church-succ_wf

No Annotations
cS ∈ cNat ⟶ cNat
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
cS  \mmember{}  cNat  {}\mrightarrow{}  cNat


By

---

Latex:
ProveWfLemma

---

Home Index