cycle_type): Fixed points of permutations of prime order (#8832)

Commit

4 years ago

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.

Author

tb65536

Parents

e824b88d

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

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