---

Step * of Lemma Riemann-sum_wf

∀[a:ℝ]. ∀[b:{b:ℝ| a ≤ b} ]. ∀[f:[a, b] ⟶ℝ]. ∀[k:ℕ+].  (Riemann-sum(f;a;b;k) ∈ ℝ)
BY
{ (ProveWfLemma THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}[a:\mBbbR{}].  \mforall{}[b:\{b:\mBbbR{}|  a  \mleq{}  b\}  ].  \mforall{}[f:[a,  b]  {}\mrightarrow{}\mBbbR{}].  \mforall{}[k:\mBbbN{}\msupplus{}].    (Riemann-sum(f;a;b;k)  \mmember{}  \mBbbR{})


By

---

Latex:
(ProveWfLemma  THEN  EAuto  1)

---

Home Index