Def Path.Homotopic.Quotient.mapFn

Modification history

2023-05-13 13:28
Mathlib/Topology/Homotopy/Path.lean
feat: port Topology.Homotopy.Path (#3186)
Added Path.Homotopic.Quotient.mapFnView on Github →