---

Step * of Lemma sine-cosine-pythag

∀x:ℝ. ((sine(x)^2 + cosine(x)^2) = r1)
BY
{ Auto }

1
1. x : ℝ
⊢ (sine(x)^2 + cosine(x)^2) = r1

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  ((sine(x)\^{}2  +  cosine(x)\^{}2)  =  r1)


By

---

Latex:
Auto

---

Home Index