∫ Утверждение Mathlib
sign_mul_self_eq_natAbs
Mathlib.Data.Int.Init
URI: https://scilib.ai/kg/mathlib#Int.sign_mul_self_eq_natAbs
∫ Утверждение Mathlib
Mathlib.Data.Int.Init
URI: https://scilib.ai/kg/mathlib#Int.sign_mul_self_eq_natAbs