Mathlib Changelog v4

Changelog About Github

Theorem Path.Homotopic.trans

Modification history

2023-05-13 13:28

Mathlib/Topology/Homotopy/Path.lean

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

Added Path.Homotopic.trans View on Github →