---

Step * of Lemma rsin-halfpi

rsin(π/2) = r1
BY
{ (RWO  "halfpi-half-pi" 0 THEN Auto) }

---

Latex:

---

Latex:
rsin(\mpi{}/2)  =  r1


By

---

Latex:
(RWO    "halfpi-half-pi"  0  THEN  Auto)

---

Home Index