Kurs:Kommutative Algebra/Gruppenhomomorphismus/Injektivität und Kern/Fakt/Faktreferenznummer

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