Theorem UniformEmbedding.denseEmbedding

Modification history

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Added UniformEmbedding.denseEmbedding View on Github →