isLocallyClosed_Ioc — Mathlib · SciLib

∫ Утверждение Mathlib

isLocallyClosed_Ioc

Mathlib.Topology.Order.IsLocallyClosed

URI: https://scilib.ai/kg/mathlib#isLocallyClosed_Ioc

← MathLib Explorer