---

Step * 1 of Lemma sinh-rleq

.....antecedent..... 
cosh(x) continuous for x ∈ (-∞, ∞)
BY
{ (BLemma `function-is-continuous` THEN Auto) }

---

Latex:

---

Latex:
.....antecedent..... 
cosh(x)  continuous  for  x  \mmember{}  (-\minfty{},  \minfty{})


By

---

Latex:
(BLemma  `function-is-continuous`  THEN  Auto)

---

Home Index