fix(group_theory/subsemigroup/basic): change `mul_one_class` to `has_mul` (#13747)
fix(group_theory/subsemigroup/basic): change `mul_one_class` to `has_mul` (#13747)






leanprover-community/mathlib,leanprover-community/mathlib