Theorem Int.natAbs_le_iff_mul_self_le

Modification history

2022-12-14 08:34
Mathlib/Data/Int/Order/Lemmas.lean
feat: Port Data.Int.Order.Lemmas (#1002) …
Added Int.natAbs_le_iff_mul_self_leView on Github →