Metamath Proof Explorer


Syntax definition cdmatalt

Description: Alternative notation for the algebra of diagonal matrices.

Ref Expression
Assertion cdmatalt
class DMatALT