Theorem isClosed_singleton_inter

Modification history

2024-07-17 18:39
Mathlib/Topology/Separation.lean
feat: singletons are closed in T1 spaces (#14824)
Added isClosed_singleton_interView on Github →