Metamath Proof Explorer

Syntax definition cscmatalt

Description: Alternative notation for the algebra of scalar matrices.

Ref Expression
Assertion cscmatalt class ScMatALT