mathlib
c8f2a1f4 - chore(*) : `zero_dvd_iff.1` → `eq_zero_of_zero_dvd` (#14241)

Commit

3 years ago

chore(*) : `zero_dvd_iff.1` → `eq_zero_of_zero_dvd` (#14241) We already had a name for this theorem, so we might as well use it.

Author

vihdzp

Parents