Commit 2022-02-10 03:40 ea0e4589
View on Github →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.