Step
*
of Lemma
rsin0
rsin(r0) = r0
BY
{ (RWO "rsin-is-sine" 0 THEN Auto) }
Latex:
Latex:
rsin(r0) = r0
By
Latex:
(RWO "rsin-is-sine" 0 THEN Auto)
Home
Index