Assertion: function's derivative | /r/HasProperty | real function
Facets:
Source sentences:
text: The derivative of a real differentiable function is a real function.