Kurs:Invariantentheorie (Osnabrück 2012-2013)/Lineare Abbildung/Kern/Injektivität/Fakt/Faktreferenznummer

Lemma 11.3 (Lineare Algebra (Osnabrück 2015-2016))