Metamath Proof Explorer


Syntax definition cmat

Description: Syntax for the square matrix algebra.

Ref Expression
Assertion cmat
class Mat