Commit 2021-08-01 21:03 9c4dd02d
View on Github →feat(group_theory/order_of_element): order_of_dvd_iff_gpow_eq_one (#8487)
Version of order_of_dvd_iff_pow_eq_one
for integer powers
feat(group_theory/order_of_element): order_of_dvd_iff_gpow_eq_one (#8487)
Version of order_of_dvd_iff_pow_eq_one
for integer powers