order_of_element.lean

Commit

2 years ago

Update src/group_theory/order_of_element.lean Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

jjaassoonn

Parents