Def Path.Homotopy.subpathTransSubpathRefl

Modification history

2026-01-08 11:26
Mathlib/Topology/Subpath.lean
feat(Topology): add definition for subpaths (#27261) …
Added Path.Homotopy.subpathTransSubpathReflView on Github →