Theorem uniformEmbedding_inl

Modification history

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Added uniformEmbedding_inl View on Github →