Linear algebra (Osnabrück 2024-2025)/Endomorphism/Eigenvectors/Linearly independent/Fact/Factreferencenumber

Lemma 22.3