Metamath Proof Explorer

Syntax definition cdmatalt

Description: Alternative notation for the algebra of diagonal matrices.

Ref Expression
Assertion cdmatalt 
class DMatALT