Lemma 1.4
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 1 Gruppe/Eindeutige Existenz des Inversen/Fakt