∫ Утверждение Mathlib
Mathlib.Analysis.Convex.EGauge
URI: https://scilib.ai/kg/mathlib#mem_smul_of_egauge_lt
← MathLib Explorer