Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes