Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zero_dvd_iff_eq_zero

Modification history

2018-10-07 09:08
algebra/ring.lean
fix(algebra/ring): delete duplicate lemma zero_dvd_iff_eq_zero (#399)
Deleted zero_dvd_iff_eq_zeroView on Github →
2018-08-30 14:55
algebra/ring.lean
refactor(algebra): add more facts about units
Added zero_dvd_iff_eq_zeroView on Github →