Assertion: function's derivative | /r/HasProperty | cosine
Facets:
Source sentences:
text: Using only geometry and properties of limits, it can be shown that the derivative of sine is cosine, and that the derivative of cosine is the negative of sine.