∫ Утверждение Mathlib
_aux_Mathlib_Algebra_Order_GroupWithZero_Unbundled_Defs___macroRules__private_Mathlib_Algebra_Order_GroupWithZero_Unbundled_Defs_0_termα>0_1
Mathlib.Algebra.Order.GroupWithZero.Unbundled.Defs
URI: https://scilib.ai/kg/mathlib#_aux_Mathlib_Algebra_Order_GroupWithZero_Unbundled_Defs___macroRules__private_Mathlib_Algebra_Order_GroupWithZero_Unbundled_Defs_0_termα>0_1