Start=Isometriegruppe

MDLUL/Isometriegruppe

Ziel=Euklidischer Vektorraum/Eigentliche Isometrie/Definition