---

Step * of Lemma rcos-halfpi

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

---

Latex:

---

Latex:
rcos(\mpi{}/2)  =  r0


By

---

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

---

Home Index