Theorem Topology.IsClosedEmbedding.IsCompletelyMetrizableSpace

Modification history

2025-03-18 14:37
Mathlib/Topology/Metrizable/CompletelyMetrizable.lean
feat: completely metrizable spaces (#22926) …
Added Topology.IsClosedEmbedding.IsCompletelyMetrizableSpaceView on Github →