---

Step * 1 of Lemma arctangent_wf


1. ∀x:ℝ. (r0 < (r1 + x^2))
⊢ ∀[x:ℝ]. (arctangent(x) ∈ ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  \mforall{}x:\mBbbR{}.  (r0  <  (r1  +  x\^{}2))
\mvdash{}  \mforall{}[x:\mBbbR{}].  (arctangent(x)  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index