Step
*
of Lemma
rtan0
rtan(r0) = r0
BY
{ (Unfold `rtan` 0 THEN (RWO "rsin0" 0 THEN Auto) THEN Repeat ((RWO "rcos0" 0 THEN Auto))) }
Latex:
Latex:
rtan(r0) = r0
By
Latex:
(Unfold `rtan` 0 THEN (RWO "rsin0" 0 THEN Auto) THEN Repeat ((RWO "rcos0" 0 THEN Auto)))
Home
Index