Theorem numDerangements_one

Modification history

2023-03-27 11:56

Mathlib/Combinatorics/Derangements/Finite.lean

feat: port Combinatorics.Derangements.Finite (#3102)

Added numDerangements_one View on Github →