Theorem numDerangements_sum

Modification history

2023-03-27 11:56

Mathlib/Combinatorics/Derangements/Finite.lean

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

Added numDerangements_sum View on Github →