---

Step * of Lemma r-bound_wf

∀[x:ℝ]. (r-bound(x) ∈ ℕ+)
BY
{ xxxProveWfLemmaxxx }

---

Latex:

---

Latex:
\mforall{}[x:\mBbbR{}].  (r-bound(x)  \mmember{}  \mBbbN{}\msupplus{})


By

---

Latex:
xxxProveWfLemmaxxx

---

Home Index