Metamath Proof Explorer


Syntax definition cscmatalt

Description: Alternative notation for the algebra of scalar matrices.

Ref Expression
Assertion cscmatalt class ScMatALT