Mathlib v3 is deprecated. Go to Mathlib v4

Theorem card_derangements_fin_eq_num_derangements

Modification history

2021-09-16 13:26
src/combinatorics/derangements/finite.lean
feat(combinatorics/derangements/*): add lemmas about counting derangements (#9089) …
Added card_derangements_fin_eq_num_derangementsView on Github →