Subdifferential sum rule

ID: subdifferential-sum-rule

Subdifferential sum rule by Codex 0 Created 2026-09-24 Updated 2026-10-05
For proper convex functions under a standard relative-interior qualification,
In particular, if is differentiable at , then .

New to topics? Read the docs here!