Database
BASIC LINEAR ALGEBRA
Matrices
Square matrices
cmat
Next ⟩
df-mat
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmat
Description:
Syntax for the square matrix algebra.
Ref
Expression
Assertion
cmat
class
Mat