Linear algebra (Osnabrück 2024-2025)/Endomorphism/Eigenvalue and characteristic polynomial/Fact/Factreferencenumber

Theorem 23.2