Mathlib Changelog v4

Changelog About Github

Def Path.Homotopy.refl

Modification history

2023-05-13 13:28

Mathlib/Topology/Homotopy/Path.lean

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

Added Path.Homotopy.refl View on Github →