mathlib

02058ed7 - feat(group_theory/perm/*): facts about the cardinality of the support of a permutation (#6951)

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 Co-authored-by: Aaron Anderson <65780815+awainverse@users.noreply.github.com>