option α #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
option α are equivalent to fixing an
option α and permuting the remaining with a
option α is swapped with
The set of all permutations of
option α can be constructed by augmenting the set of
α by each element of
option α in turn.