---

Step * of Lemma Taylor-approx_wf

∀[I:Interval]. ∀[n:ℕ]. ∀[F:ℕn + 1 ⟶ I ⟶ℝ]. ∀[a,b:{a:ℝ| a ∈ I} ].  (Taylor-approx(n;a;b;i,x.F[i;x]) ∈ ℝ)
BY
{ ProveWfLemma⋅ }

---

Latex:

---

Latex:
\mforall{}[I:Interval].  \mforall{}[n:\mBbbN{}].  \mforall{}[F:\mBbbN{}n  +  1  {}\mrightarrow{}  I  {}\mrightarrow{}\mBbbR{}].  \mforall{}[a,b:\{a:\mBbbR{}|  a  \mmember{}  I\}  ].
    (Taylor-approx(n;a;b;i,x.F[i;x])  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma\mcdot{}

---

Home Index