Commit 2021-03-30 03:44 b4ce9b7f
View on Github →feat(group_theory/order_of_element): exists_pow_eq_self_of_coprime (#6875)
If n is coprime to the order of g, then there exists an m such that (g ^ n) ^ m = g.
feat(group_theory/order_of_element): exists_pow_eq_self_of_coprime (#6875)
If n is coprime to the order of g, then there exists an m such that (g ^ n) ^ m = g.