Theorem isClosed_inter_singleton

Modification history

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