Theorem UniformSpace.hausdorff.isClopen_singleton_empty

Modification history

2025-11-21 11:20

Mathlib/Topology/UniformSpace/Closeds.lean

feat(Topology/UniformSpace/Closeds): uniform continuity of the singleton map (#31868)

Added UniformSpace.hausdorff.isClopen_singleton_empty View on Github →