Lists of elements of
fin n #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file develops some results on
The list obtained from a permutation of a tuple
f is permutation equivalent to
the list obtained from