FunctionalRightScalarMult.grad_lipschitz

property FunctionalRightScalarMult.grad_lipschitz

Lipschitz constant for the gradient of the functional.