Metamath Proof Explorer


Syntax definition cchpmat

Description: Extend class notation with the characteristic polynomial.

Ref Expression
Assertion cchpmat
class CharPlyMat