Mathlib Changelog
v4
Changelog
About
Github
Theorem
Int.natAbs_eq_iff_mul_self_eq
Modification history
2022-12-14 08:34
Mathlib/Data/Int/Order/Lemmas.lean
feat: Port Data.Int.Order.Lemmas (#1002) …
Added
Int.natAbs_eq_iff_mul_self_eq
View on Github →