Theorem numDerangements_add_two

Modification history

2023-03-27 11:56
Mathlib/Combinatorics/Derangements/Finite.lean
feat: port Combinatorics.Derangements.Finite (#3102)
Added numDerangements_add_twoView on Github →