Theorem Set.Subsingleton.inter_singleton

Modification history

2024-07-17 18:39
Mathlib/Data/Set/Subsingleton.lean
feat: singletons are closed in T1 spaces (#14824)
Added Set.Subsingleton.inter_singletonView on Github →