∫ Утверждение Mathlib
one_lt_iff
Mathlib.Analysis.AbsoluteValue.Equivalence
URI: https://scilib.ai/kg/mathlib#AbsoluteValue.IsEquiv.one_lt_iff
∫ Утверждение Mathlib
Mathlib.Analysis.AbsoluteValue.Equivalence
URI: https://scilib.ai/kg/mathlib#AbsoluteValue.IsEquiv.one_lt_iff