mem_closure_iff_nhds' — Mathlib · SciLib

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

mem_closure_iff_nhds'

Mathlib.Topology.ClusterPt

URI: https://scilib.ai/kg/mathlib#mem_closure_iff_nhds'

← MathLib Explorer