Start=kleinen Gruppe

MDLUL/kleinen Gruppe

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