@[simp]
@[simp]
@[simp]
The set of all permutations of Option α
can be constructed by augmenting the set of
permutations of α
by each element of Option α
in turn.
The set of all permutations of Option α
can be constructed by augmenting the set of
permutations of α
by each element of Option α
in turn.