FunctionalRightVectorMult.operator

property FunctionalRightVectorMult.operator

The operator part of this multiplication.