ext_iff_isClosed — Mathlib · SciLib

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

ext_iff_isClosed

Mathlib.Topology.Basic

URI: https://scilib.ai/kg/mathlib#TopologicalSpace.ext_iff_isClosed

← MathLib Explorer