Kurs:Lineare Algebra (Osnabrück 2015-2016)/Gruppe/Eindeutige Existenz des Inversen/Fakt/Faktreferenznummer