Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-10 07:09 79bb8b77

View on Github →

feat(linear_algebra/cayley_hamilton): the Cayley-Hamilton theorem (#3276) The Cayley-Hamilton theorem, following the proof at http://drorbn.net/AcademicPensieve/2015-12/CayleyHamilton.pdf.

Estimated changes