Mathlib v3 is deprecated. Go to Mathlib v4

Theorem num_derangements_one

Modification history

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