Database
BASIC LINEAR ALGEBRA
Polynomial matrices
Constant polynomial matrices
ccpmat
Next ⟩
cmat2pmat
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccpmat
Description:
Extend class notation with the set of all constant polynomial matrices.
Ref
Expression
Assertion
ccpmat
class
ConstPolyMat