Lemma 22.3 Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil I/Vorlesung 22
Endomorphismus/Eigenvektoren/Linear unabhängig/Fakt