---

Step * of Lemma sine_wf

∀[x:ℝ]. (sine(x) ∈ ℝ)
BY
{ (ProveWfLemma THEN Auto') }

---

Latex:

---

Latex:
\mforall{}[x:\mBbbR{}].  (sine(x)  \mmember{}  \mBbbR{})


By

---

Latex:
(ProveWfLemma  THEN  Auto')

---

Home Index