Database
BASIC LINEAR ALGEBRA
The characteristic polynomial
Definition and basic properties
cchpmat
Next ⟩
df-chpmat
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cchpmat
Description:
Extend class notation with the characteristic polynomial.
Ref
Expression
Assertion
cchpmat
class
CharPlyMat