---

Step * of Lemma arctan-poly_wf

∀[x:ℝ]. ∀[k:ℕ].  (arctan-poly(x;k) ∈ ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[x:\mBbbR{}].  \mforall{}[k:\mBbbN{}].    (arctan-poly(x;k)  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index