---

Step * of Lemma pi_wf

π ∈ ℝ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mpi{}  \mmember{}  \mBbbR{}


By

---

Latex:
ProveWfLemma

---

Home Index