Theorem Set.Subsingleton.singleton_inter

Modification history

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