feat(group_theory/perm/cycle_type): Fixed points of permutations of prime order (#8832)
feat(group_theory/perm/cycle_type): Fixed points of permutations of prime order (#8832)

A few basic lemmas about fixed points of permutations of prime order.





leanprover-community/mathlib,leanprover-community/mathlib