Metamath Proof Explorer


Syntax definition cmvmul

Description: Syntax for the operator for the multiplication of a vector with a matrix.

Ref Expression
Assertion cmvmul class maVecMul