∫ Утверждение Mathlib
eq_or_eq_inv_of_mabs_eq
Mathlib.Algebra.Order.Group.Unbundled.Abs
URI: https://scilib.ai/kg/mathlib#eq_or_eq_inv_of_mabs_eq
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Group.Unbundled.Abs
URI: https://scilib.ai/kg/mathlib#eq_or_eq_inv_of_mabs_eq