Theorem singleton_mem_hausdorffEntourage

Modification history

2025-11-21 11:20
Mathlib/Topology/UniformSpace/Closeds.lean
feat(Topology/UniformSpace/Closeds): uniform continuity of the singleton map (#31868)
Added singleton_mem_hausdorffEntourageView on Github →