Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_hom.map_dvd

Modification history

2022-05-17 13:06
src/algebra/ring/basic.lean
split(algebra/hom/ring): Split off `algebra.ring.basic` (#14144) …
Deleted ring_hom.map_dvdView on Github →
2022-03-24 10:12
src/algebra/ring/basic.lean
feat(ring_theory/polynomial): mv_polynomial over UFD is UFD (#12866)
Modified ring_hom.map_dvdView on Github →
2021-08-17 22:18
src/algebra/ring/basic.lean
feat(algebra): generalize `ring_hom.map_dvd` (#8722) …
Modified ring_hom.map_dvdView on Github →
2020-05-25 15:03
src/algebra/ring.lean
feat(algebra/ring): ring_hom.map_dvd (#2813)
Added ring_hom.map_dvdView on Github →