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