Linear algebra (Osnabrück 2024-2025)/Endomorphism/Eigenvalue/Invariant hyperplane/Fact/Factreferencenumber

Lemma 25.4