Mathlib Changelog
v4
Changelog
About
Github
Def
Path.Homotopy.reparam
Modification history
2023-05-13 13:28
Mathlib/Topology/Homotopy/Path.lean
feat: port Topology.Homotopy.Path (#3186)
Added
Path.Homotopy.reparam
View on Github →