Step
*
1
1
of Lemma
cosh0
(r(2) * r1/r(2)) = r1
BY
{ (nRMul ⌜r(2)⌝ 0⋅ THEN Auto) }
Latex:
Latex:
(r(2) * r1/r(2)) = r1
By
Latex:
(nRMul \mkleeneopen{}r(2)\mkleeneclose{} 0\mcdot{} THEN Auto)
Home
Index