Theorem IsUniformEmbedding.of_comp

Modification history

2026-03-18 15:36
Mathlib/Topology/UniformSpace/UniformEmbedding.lean
feat: add `IsUniformEmbedding.of_comp` (#36771) …
Added IsUniformEmbedding.of_compView on Github →