---

Step * of Lemma cosine_wf

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

---

Latex:

---

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


By

---

Latex:
(ProveWfLemma  THEN  Auto')

---

Home Index