isLocallyClosed_Ici — Mathlib · SciLib

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

isLocallyClosed_Ici

Mathlib.Topology.Order.IsLocallyClosed

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

← MathLib Explorer