Assertion: derivative | /r/HasProperty | negative of sine
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.