Assertion: derivative | /r/HasProperty | unique number
Facets:
Source sentences:
text: If f : R → R, then the usual definition of the derivative may be manipulated to show that the derivative of f at a is the unique number f ′(a) such that