Theorem IsClosed.completeSpace_coe

Modification history

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

feat: port Topology.UniformSpace.UniformEmbedding (#2038)

Added IsClosed.completeSpace_coe View on Github →