The calculus rules described in the following allow to modify and combine functions, to obtain new ones with efficiently computable proximal mapping.
Conjugate
PointwiseMinimum
SeparableSum
SlicedSeparableSum
Sum
MoreauEnvelope
Regularize
Postcompose
Precompose
PrecomposeDiagonal
PrecomposedSlicedSeparableSum
Tilt
Translate
ReshapeInput