Theorem numDerangements_succ

Modification history

2023-03-27 11:56

Mathlib/Combinatorics/Derangements/Finite.lean

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

Added numDerangements_succ View on Github →