FunctionalLeftScalarMult.functional

property FunctionalLeftScalarMult.functional

The original functional.