Mathlib v3 is deprecated. Go to Mathlib v4

Theorem num_derangements_tendsto_inv_e

Modification history

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