mathlib
ae5b55bd - feat(algebra/ring): ring_hom.map_dvd (#2813)

Commit

5 years ago

feat(algebra/ring): ring_hom.map_dvd (#2813) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents