isLocallyClosed_iff_isOpen_coborder — Mathlib · SciLib

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

isLocallyClosed_iff_isOpen_coborder

Mathlib.Topology.LocallyClosed

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

← MathLib Explorer