mathlib

463f570e - Make `add_monoid_hom.coe_mul` protected