Theorem Int.eq_zero_of_natAbs_eq_zero

Modification history

2024-03-26 06:36
Mathlib/Init/Data/Int/Basic.lean
chore(Init/Data/Int): drop deprecated lemmas (#11664) …
Deleted Int.eq_zero_of_natAbs_eq_zeroView on Github →
2022-11-13 23:39
Mathlib/Init/Data/Int/Basic.lean
feat: align init.data.int.{basic, order} (#583)
Added Int.eq_zero_of_natAbs_eq_zeroView on Github →