Theorem card_derangements_fin_add_two

Modification history

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