Theorem ContinuousMap.uniformEmbedding_comp

Modification history

2024-10-03 20:47
Mathlib/Topology/UniformSpace/CompactConvergence.lean
chore: Rename `UniformEmbedding` to `IsUniformEmbedding` (#17295) …
Deleted ContinuousMap.uniformEmbedding_compView on Github →
2024-05-23 13:06
Mathlib/Topology/UniformSpace/CompactConvergence.lean
feat: functoriality of ContinuousMap in uniform spaces (#13019)
Added ContinuousMap.uniformEmbedding_compView on Github →