Mathlib Changelog
v4
Changelog
About
Github
Theorem
left_ne_mul
Modification history
2025-03-13 23:54
Mathlib/Algebra/Group/Basic.lean
chore(Algebra/Group/Basic): rename mul_right_eq_self to mul_eq_left etc (#22587) …
Added
left_ne_mul
View on Github →