basic): change `mul_one_class` to `has_mul` (#13747)

Commit

3 years ago

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

Author

j-loreaux

Parents