∫ Утверждение Mathlib
strictConvex_image
Mathlib.Analysis.Convex.ContinuousLinearEquiv
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.strictConvex_image
∫ Утверждение Mathlib
Mathlib.Analysis.Convex.ContinuousLinearEquiv
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.strictConvex_image