FunctionalRightScalarMult.functional

property FunctionalRightScalarMult.functional

The original functional.