Theorem Set.Subsingleton.isClosed

Modification history

2025-04-15 07:00
Mathlib/Topology/Separation/Basic.lean
feat(Topology): closure of subsingleton is self (#24062) …
Modified Set.Subsingleton.isClosedView on Github →
2024-07-17 18:39
Mathlib/Topology/Separation.lean
feat: singletons are closed in T1 spaces (#14824)
Added Set.Subsingleton.isClosedView on Github →