Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-05 14:29 0c1b60b6

View on Github →

feat(group_theory/order_of_element): order_of_eq_prime (#2604)

Estimated changes

added theorem order_of_eq_prime