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