Commit 2021-08-17 22:18 67501f68

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