Metamath Proof Explorer

Syntax definition cscmat

Description: Extend class notation for the algebra of scalar matrices.

Ref Expression
Assertion cscmat 
class ScMat