FunctionalRightScalarMult.proximal

property FunctionalRightScalarMult.proximal

Proximal factory of the functional.