Kurs:Lineare Algebra/Endomorphismus/Charakteristisches Polynom/Zerfällt und verschieden/Diagonalisierbar/Fakt/Faktreferenznummer

Korollar 23.12 (Lineare Algebra (Osnabrück 2017-2018))