mathlib3

67501f68 - feat(algebra): generalize `ring_hom.map_dvd` (#8722)

feat(algebra): generalize `ring_hom.map_dvd` (#8722) Now it is available for `mul_hom` and `monoid_hom`, and in a `monoid` (or `semiring` in the `ring_hom` case), not just `comm_semiring`