MDLD/permutation group

Start=permutation group Target=Permutation group/Definition