mathlib3

refactor(algebra/group): is_monoid_hom extends is_mul_hom

#915

Merged