FunctionalLeftScalarMult.proximal

property FunctionalLeftScalarMult.proximal

Proximal factory of the scaled functional.

Functional.__rmul__ takes care of the case scalar = 0