Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Linear algebra (extension)
The subalgebras of diagonal and scalar matrices (extension)
cdmatalt
Next ⟩
cscmatalt
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdmatalt
Description:
Alternative notation for the algebra of diagonal matrices.
Ref
Expression
Assertion
cdmatalt
class
DMatALT