---

Step * of Lemma derivative-rminus

d(-(x))/dx = λx.r(-1) on (-∞, ∞)
BY
{ ((InstLemma `derivative-minus` [⌜(-∞, ∞)⌝;⌜λ2x.x⌝;⌜λ2x.r1⌝]⋅ THENA Auto)
   THEN DerivativeFunctionality (-1)
   THEN Auto) }

---

Latex:

---

Latex:
d(-(x))/dx  =  \mlambda{}x.r(-1)  on  (-\minfty{},  \minfty{})


By

---

Latex:
((InstLemma  `derivative-minus`  [\mkleeneopen{}(-\minfty{},  \minfty{})\mkleeneclose{};\mkleeneopen{}\mlambda{}\msubtwo{}x.x\mkleeneclose{};\mkleeneopen{}\mlambda{}\msubtwo{}x.r1\mkleeneclose{}]\mcdot{}  THENA  Auto)
  THEN  DerivativeFunctionality  (-1)
  THEN  Auto)

---

Home Index