This is an unofficial reimagining of the Archive of Formal Proofs
The Cayley-Hamilton Theoremby Stephan Adelsberger, Stefan Hetzl and Florian Pollak