Kurs:Lineare Algebra/Charakteristisches Polynom/Teilerfremde Zerlegung/Direkte Summe/Fakt/Faktreferenznummer

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