Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-25 15:03 ae5b55bd

View on Github →

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

Estimated changes

added theorem ring_hom.map_dvd