---

Step * of Lemma unit-ball-approx_wf

∀[n,k:ℕ].  (unit-ball-approx(n;k) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[n,k:\mBbbN{}].    (unit-ball-approx(n;k)  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index