The Cayley-Hamilton Theorem. - Stephan Adelsberger; Stefan Hetzl; Florian Pollak (Arch. Formal Proofs, 2014)