Mathlib v3 is deprecated. Go to Mathlib v4

Structure path

Modification history

2021-09-11 04:25

src/topology/path_connected.lean

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

Modified path View on Github →

2020-08-04 18:21

src/topology/path_connected.lean

feat(topology): path connected spaces (#3627) …

Added path View on Github →