Assertion: function's argument | /r/HasProperty | real number
Facets:
Source sentences:
text: If the argument of f is a real number and X is a Hilbert space, then the derivative of f at a point t can be defined as in the finite-dimensional case: