mathlib3

70f4ba07 - feat(algebra/group/hom): generalize `semiconj_by.map` and `commute.map` (#10854)

feat(algebra/group/hom): generalize `semiconj_by.map` and `commute.map` (#10854) This generalizes the results in 2 ways: from `monoid_hom` to `mul_hom` and from `mul_hom` to `mul_hom_class`. For use in #10783.