---

Step * of Lemma cube-lower_wf

∀[k:ℕ]. ∀[c:real-cube(k)].  (c- ∈ ℝ^k)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[k:\mBbbN{}].  \mforall{}[c:real-cube(k)].    (c-  \mmember{}  \mBbbR{}\^{}k)


By

---

Latex:
ProveWfLemma

---

Home Index