Def derangements.Equiv.RemoveNone.fiber

Modification history

2023-03-23 16:06

Mathlib/Combinatorics/Derangements/Basic.lean

feat: Port/Combinatorics.Derangements.Basic (#2530)

Added derangements.Equiv.RemoveNone.fiber View on Github →