Linear algebra (Osnabrück 2024-2025)/Eigenvalues/Endomorphism/Under Isomorphism/Fact/Factreferencenumber

Lemma 21.10