---

Step * of Lemma nats_wf

nats() ∈ stream(ℕ)
BY
{ (ProveWfLemma THEN Auto) }

---

Latex:

---

Latex:
nats()  \mmember{}  stream(\mBbbN{})


By

---

Latex:
(ProveWfLemma  THEN  Auto)

---

Home Index