Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-09 13:47 77033a00

View on Github →

chore(algebra/associated): rename div_or_div to dvd_or_dvd (#8589)

Estimated changes

deleted theorem prime.div_or_div
added theorem prime.dvd_or_dvd