MDLD/finite permutation

Start=finite permutation Target=Permutation group/Definition