Theorem uniformEmbedding_comap

Modification history

2024-10-03 20:47

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

chore: Rename `UniformEmbedding` to `IsUniformEmbedding` (#17295) …

Deleted uniformEmbedding_comap View on Github →

2023-08-10 19:52

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified uniformEmbedding_comap View on Github →

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Added uniformEmbedding_comap View on Github →