mathlib

64289fe0 - chore(group_theory/order_of_element): fix weird lemma name (#10245)