Zum Inhalt springen

Gruppe/Endlich erzeugt/Definition