Proof that the symmetric group is actually a group

Redirect to:

• The collection of all permutations of a set forms a group under function composition