mathlib3

refactor(*): rename is_group_hom.mul to map_mul

#911

Merged