fintype instances for
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
Given a list, produce a list of all permutations of its elements.
Given a finset, produce the finset of all permutations of its elements.
The collection of permutations of a fintype is a fintype.