---

Step * of Lemma cosh0

cosh(r0) = r1
BY
{ (Unfold `cosh` 0 THEN (RWO "expr-req" 0 THENA Auto) THEN nRNorm 0) }

1
(r(2) * e^r0)/2 = r1

---

Latex:

---

Latex:
cosh(r0)  =  r1


By

---

Latex:
(Unfold  `cosh`  0  THEN  (RWO  "expr-req"  0  THENA  Auto)  THEN  nRNorm  0)

---

Home Index