Mathlib Changelog v4

Changelog About Github

Def Path.Homotopy.map

Modification history

2023-05-13 13:28

Mathlib/Topology/Homotopy/Path.lean

feat: port Topology.Homotopy.Path (#3186)

Added Path.Homotopy.map View on Github →