MDLUL/Permutationsgruppe (endlich)

Start=Permutationsgruppe (endlich)

MDLUL/Permutationsgruppe (endlich)

Ziel=Permutationsgruppe/Definition