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