Metamath Proof Explorer

Syntax definition cscmatalt

Description: Alternative notation for the algebra of scalar matrices.

Ref Expression
Assertion cscmatalt 
class ScMatALT