Nuprl Lemma : derivative-sine
d(sine(x))/dx = λx.cosine(x) on (-∞, ∞)
Proof
Error : references
Latex:
d(sine(x))/dx = \mlambda{}x.cosine(x) on (-\minfty{}, \minfty{})
Date html generated:
2019_11_06-PM-00_36_12
Last ObjectModification:
2019_04_03-PM-05_30_17
Theory : reals_2
Home
Index