Start=Gruppenaxiome

MDLUL/Gruppenaxiome

Ziel=Gruppentheorie/Gruppe/Direkt/Definition