---

Step * of Lemma convex-comb_wf1

∀[x,y,r:ℝ]. ∀[s:{s:ℝ| r + s ≠ r0} ].  (convex-comb(x;y;r;s) ∈ ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[x,y,r:\mBbbR{}].  \mforall{}[s:\{s:\mBbbR{}|  r  +  s  \mneq{}  r0\}  ].    (convex-comb(x;y;r;s)  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index