mathlib3

b5a26ca7 - fix(tactic/abel): handle smul on groups (#10587)

fix(tactic/abel): handle smul on groups (#10587) The issue was that `abel` expects to see only `smulg` used for groups and only `smul` for monoids, but you can also use `smul` on groups so we have to normalize that away. fixes #8456