Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-11 04:25 919aad21

View on Github →

refactor(topology/path_connected): make path extend C(I, X) (#9133)

Estimated changes

modified theorem path.coe_mk
modified structure path