Lemma 19.7 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 19
Gruppe/Eindeutige Existenz des Inversen/Fakt