Assertion: function's derivative | /r/HasProperty | computed componentwise
Facets:
Source sentences:
text: If X is a Hilbert space, then one can easily show that any derivative (and any other limit) can be computed componentwise: if