---

Step * 1 1 of Lemma derivative-cosh


1. d(e^-(x))/dx = λx.e^-(x) * r(-1) on (-∞, ∞)
⊢ d(e^-(x))/dx = λx.r(-1) * e^-(x) on (-∞, ∞)
BY
{ (DerivativeFunctionality (-1) THEN Auto) }

---

Latex:

---

Latex:

1.  d(e\^{}-(x))/dx  =  \mlambda{}x.e\^{}-(x)  *  r(-1)  on  (-\minfty{},  \minfty{})
\mvdash{}  d(e\^{}-(x))/dx  =  \mlambda{}x.r(-1)  *  e\^{}-(x)  on  (-\minfty{},  \minfty{})


By

---

Latex:
(DerivativeFunctionality  (-1)  THEN  Auto)

---

Home Index