---

Step * of Lemma cube-upper_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