---

Step * of Lemma derivative-rsin

d(rsin(x))/dx = λx.rcos(x) on (-∞, ∞)
BY
{ ((Assert d(sine(x))/dx = λx.cosine(x) on (-∞, ∞) BY
          Auto)
   THEN DerivativeFunctionality (-1)
   THEN Auto
   THEN RWO "rsin-is-sine rcos-is-cosine" 0
   THEN Auto) }

---

Latex:

---

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


By

---

Latex:
((Assert  d(sine(x))/dx  =  \mlambda{}x.cosine(x)  on  (-\minfty{},  \minfty{})  BY
                Auto)
  THEN  DerivativeFunctionality  (-1)
  THEN  Auto
  THEN  RWO  "rsin-is-sine  rcos-is-cosine"  0
  THEN  Auto)

---

Home Index