# Commit 2021-04-06 09:41 02058ed7

View on Github →feat(group_theory/perm/*): facts about the cardinality of the support of a permutation (#6951) Proves lemmas about the cardinality of the support of a permutation

Mathlib v3 is deprecated. Go to Mathlib v4

feat(group_theory/perm/*): facts about the cardinality of the support of a permutation (#6951) Proves lemmas about the cardinality of the support of a permutation