Subdifferential sum rule (source code)

= Subdifferential sum rule

For proper convex functions under a standard relative-interior qualification,
$$
\partial(f+g)(x)=\partial f(x)+\partial g(x).
$$
In particular, if $f$ is differentiable at $x$, then $\partial(f+g)(x)=\nabla f(x)+\partial g(x)$.