Theorem Int.natAbs_add_nonneg

Modification history

2023-06-20 11:14
Mathlib/Init/Data/Int/Basic.lean
feat: port Mathlib.Init.Data.Int.CompLemmas (#5269)
Deleted Int.natAbs_add_nonnegView on Github →
2023-05-21 22:17
Mathlib/Init/Data/Int/Basic.lean
feat: port RingTheory.Localization.Away.Basic (#4139)
Added Int.natAbs_add_nonnegView on Github →