Theorem Set.Subsingleton.closure_eq

Modification history

2025-04-15 07:00
Mathlib/Topology/Separation/Basic.lean
feat(Topology): closure of subsingleton is self (#24062) …
Added Set.Subsingleton.closure_eqView on Github →