Theorem numDerangements_zero

Modification history

2023-03-27 11:56

Mathlib/Combinatorics/Derangements/Finite.lean

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

Added numDerangements_zero View on Github →