∫ Утверждение Mathlib
smul_Ici
Mathlib.Algebra.Order.Field.Pointwise
URI: https://scilib.ai/kg/mathlib#LinearOrderedField.smul_Ici
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Field.Pointwise
URI: https://scilib.ai/kg/mathlib#LinearOrderedField.smul_Ici