Database
BASIC LINEAR ALGEBRA
Matrices
The subalgebras of diagonal and scalar matrices
cdmat
Next ⟩
cscmat
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cdmat
Description:
Extend class notation for the algebra of diagonal matrices.
Ref
Expression
Assertion
cdmat
class DMat