Commit 2021-06-15 14:54 e4ceee66
View on Github →feat(group_theory/order_of_element): Raising to a coprime power is a bijection (#7923)
If gcd(|G|,k)=1 then the kth power map is a bijection
feat(group_theory/order_of_element): Raising to a coprime power is a bijection (#7923)
If gcd(|G|,k)=1 then the kth power map is a bijection