Metamath Proof Explorer

Syntax definition cmmul

Description: Syntax for the matrix multiplication operator.

Ref Expression
Assertion cmmul 
class maMul