Documentation

Mathlib.Combinatorics.Derangements.Finite

Derangements on fintypes #

This file contains lemmas that describe the cardinality of derangements α when α is a fintype.

Main definitions #

The number of derangements of an n-element set.

Equations
Instances For