mathlib

ea0e4589 - refactor(topology/algebra/mul_action2): rename type classes (#11940)

refactor(topology/algebra/mul_action2): rename type classes (#11940) Rename `has_continuous_smul₂` and `has_continuous_vadd₂` to `has_continuous_const_smul` and `has_continuous_const_vadd`, respectively.