---

Step * of Lemma rsin-radd

∀[x,y:ℝ].  (rsin(x + y) = ((rsin(x) * rcos(y)) + (rcos(x) * rsin(y))))
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
⊢ rsin(x + y) = ((rsin(x) * rcos(y)) + (rcos(x) * rsin(y)))

---

Latex:

---

Latex:
\mforall{}[x,y:\mBbbR{}].    (rsin(x  +  y)  =  ((rsin(x)  *  rcos(y))  +  (rcos(x)  *  rsin(y))))


By

---

Latex:
Auto

---

Home Index