Theorem uniformInducing_of_compose

Modification history

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Added uniformInducing_of_compose View on Github →