mathlib

2b26c50f - feat(algebra/module/hom): Add missing smul instances on add_monoid_hom