feat(group_theory/order_of_element): `order_of_pow_coprime` (#17252)
feat(group_theory/order_of_element): `order_of_pow_coprime` (#17252)

Raising an element to a power coprime to its order does not change its order.





leanprover-community/mathlib,leanprover-community/mathlib