Theorem Int.eq_zero_of_abs_lt_dvd

Modification history

2024-10-01 20:15
Mathlib/Algebra/Order/Group/Unbundled/Int.lean
chore(*.ModEq): reduce dependencies (#17154) …
Modified Int.eq_zero_of_abs_lt_dvdView on Github →
2022-12-14 08:34
Mathlib/Data/Int/Order/Lemmas.lean
feat: Port Data.Int.Order.Lemmas (#1002) …
Added Int.eq_zero_of_abs_lt_dvdView on Github →