mathlib3

accb9d2d - fix(topology/algebra/mul_action): fix typo in instance name (#6921)