Metamath Proof Explorer


Table of Contents - 11.5.1. Definition and basic properties

The characteristic polynomial of a matrix is the determinat of the characteristic matrix of : .

  1. cchpmat
  2. df-chpmat
  3. chmatcl
  4. chmatval
  5. chpmatfval
  6. chpmatval
  7. chpmatply1
  8. chpmatval2
  9. chpmat0d
  10. chpmat1dlem
  11. chpmat1d
  12. chpdmatlem0
  13. chpdmatlem1
  14. chpdmatlem2
  15. chpdmatlem3
  16. chpdmat
  17. chpscmat
  18. chpscmat0
  19. chpscmatgsumbin
  20. chpscmatgsummon
  21. chp0mat
  22. chpidmat
  23. chmaidscmat