Theorem mul_ne_left

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 mul_ne_leftView on Github →