---

Step * of Lemma rpolynomial_wf

∀[n:ℕ]. ∀[a:ℕn + 1 ⟶ ℝ]. ∀[x:ℝ].  ((Σi≤n. a_i * x^i) ∈ ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[a:\mBbbN{}n  +  1  {}\mrightarrow{}  \mBbbR{}].  \mforall{}[x:\mBbbR{}].    ((\mSigma{}i\mleq{}n.  a\_i  *  x\^{}i)  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index