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