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