Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-18 12:53 116e4267

View on Github →

chore(group_theory/order_of_element): order_of_units (#9777)

Estimated changes

added theorem order_of_units