Commit 2025-03-13 23:54 c9d2c019
View on Github →chore(Algebra/Group/Basic): rename mul_right_eq_self to mul_eq_left etc (#22587)
See discussion of #22507, apparently mul_eq_left
is used more often that mul_right_eq_self
for the same kind of lemma.