Kurs:Lineare Algebra/Vektorraum/K/Endlichdimensional/Normaler Endomorphismus/Eigenwerte/Fakt/Faktreferenznummer

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