Theorem Path.isUniformEmbedding_coe

Modification history

2025-09-19 12:18
Mathlib/Topology/UniformSpace/Path.lean
feat(Topology/UniformSpace/Path): new file (#24105)
Added Path.isUniformEmbedding_coeView on Github →