defs): use `is_left_cancel_mul` etc (#17884)

Commit

3 years ago

refactor(algebra/group/defs): use `is_left_cancel_mul` etc (#17884) The Lean 4 version is here: leanprover-community/mathlib4#945.

Author

urkud

Parents