Start=Isotropiegruppe

MDLUL/Isotropiegruppe

Ziel=Gruppenoperation/Isotropiegruppe/Definition