Commit 2026-01-08 11:26 0e883f00

feat(Topology): add definition for subpaths (#27261) Define subpaths as restrictions of paths to subintervals, reparameterized to have domain [0, 1] and possibly with a reverse of direction. Prove their basic properties. This serves as an alternative to Path.truncate which is useful for the explicit construction of certain homotopies, in particular regarding the concatenation of subpaths.