mathlib3
30617c7b - chore(group_theory/order_of_element): bump up (#9318)

Commit

4 years ago

chore(group_theory/order_of_element): bump up (#9318) there may be other lemmas that can similarly be moved around here

Author

ericrbg

Parents