Start=Bewegungsgruppe

MDLUL/Bewegungsgruppe

Ziel=Euklidischer Vektorraum/Isometrie/Definition