Assertion: support function | /r/HasProperty | differentiable
Facets:
value: at u
type: LOCATION
Source sentences:
text: If A ∩ H(u) is a singleton {y}, say, it follows that the support function is differentiable at u and its gradient coincides with y.