Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-10 12:54 a7142455

View on Github →

feat(group_theory/order_of_element): order_of_dvd_iff_pow_eq_one (#2364)

Estimated changes