---

Step * 1 1 1 1 1 of Lemma rsin-half-pi


1. rsin(π/2(slower))^2 = r1
⊢ (-10) + 4 < 9
BY
{ Auto }

---

Latex:

---

Latex:

1.  rsin(\mpi{}/2(slower))\^{}2  =  r1
\mvdash{}  (-10)  +  4  <  9


By

---

Latex:
Auto

---

Home Index