Def Embedding.comapUniformSpace

Modification history

2024-10-28 08:46

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

chore: Rename `Embedding` to `IsEmbedding` (#18133) …

Deleted Embedding.comapUniformSpace View on Github →

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Added Embedding.comapUniformSpace View on Github →