Theorem ContinuousMap.Homotopy.pathExtend_evalAt

Modification history

2025-10-15 07:25
Mathlib/Topology/Homotopy/Path.lean
feat(Homotopy/Path): add missing lemmas (#30552) …
Added ContinuousMap.Homotopy.pathExtend_evalAtView on Github →