Kurs:Lineare Algebra/Lineare Abbildung/Diagonalisierbar/Direkte Summe aus Eigenräumen/Fakt/Faktreferenznummer

Lemma 22.11 (Lineare Algebra (Osnabrück 2024-2025))