Kurs:Lineare Algebra/Endomorphismus/Eigenvektoren/Linear unabhängig/Fakt/Faktreferenznummer

Lemma 22.3 (Lineare Algebra (Osnabrück 2017-2018))