mathlib
116e4267 - chore(group_theory/order_of_element): order_of_units (#9777)

Commit

4 years ago

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

Author

ericrbg

ericrbg

Parents

Loading