Start=einfach (Gruppe)

MDLUL/einfach (Gruppe)

Ziel=Gruppentheorie/Einfache_Gruppe/Definition