Step
*
of Lemma
sinh0
sinh(r0) = r0
BY
{ (Unfold `sinh` 0 THEN (RWO "expr-req" 0 THENA Auto) THEN nRNorm 0) }
1
(r0)/2 = r0
Latex:
Latex:
sinh(r0) = r0
By
Latex:
(Unfold `sinh` 0 THEN (RWO "expr-req" 0 THENA Auto) THEN nRNorm 0)
Home
Index