mathlib
518d0fd9 - feat(data/int/basic): eq_zero_of_dvd_of_nonneg_of_lt (#2803)

Commit

5 years ago

feat(data/int/basic): eq_zero_of_dvd_of_nonneg_of_lt (#2803)

Author

kim-em

kim-em

Parents

Loading