Mathlib v3 is deprecated. Go to Mathlib v4

Def num_derangements

Modification history

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