Start=endliche Gruppe

MDLUL/endliche Gruppe

Ziel=Endliche Gruppe/Definition