Diagonalizable matrix and eigenvectors lemma
Corollary
Diagonalizable linear operator definition
Diagonalizable linear operator and representation matrix lemma
Properties of characteristic polynomial lemma
Characteristic polynomial of linear operator definition
Algebraic multiplicity definition
Geometric multiplicity definition