---

Step * of Lemma test-mutual-corec_wf

test-mutual-corec() ∈ ℕ2 ⟶ Type
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
test-mutual-corec()  \mmember{}  \mBbbN{}2  {}\mrightarrow{}  Type


By

---

Latex:
ProveWfLemma

---

Home Index