Kurs:Lineare Algebra/Nilpotenter Endomorphismus/Minimalpolynom/Fakt/Faktreferenznummer

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