Def derangements.derangementsOptionEquivSigmaAtMostOneFixedPoint

Modification history

2023-03-23 16:06
Mathlib/Combinatorics/Derangements/Basic.lean
feat: Port/Combinatorics.Derangements.Basic (#2530)
Added derangements.derangementsOptionEquivSigmaAtMostOneFixedPointView on Github →