Start=kleine Gruppe

MDLUL/kleine Gruppe

Ziel=Gruppe/Endliche Untergruppe der GL/Klein/Definition