Kurs:Diskrete Mathematik (Osnabrück 2020)/Gruppe/Lösbarkeit von Gleichungen/Fakt/Faktreferenznummer