Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-07 09:08 276c4723

View on Github →

fix(algebra/ring): delete duplicate lemma zero_dvd_iff_eq_zero (#399)

Estimated changes

deleted theorem zero_dvd_iff_eq_zero