Mathlib v3 is deprecated. Go to Mathlib v4

Def joined

Modification history

2020-08-04 18:21

src/topology/path_connected.lean

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

Added joined View on Github →

2020-07-30 01:14

src/topology/path_connected.lean

Revert "feat(topology): path connected spaces" …

Deleted joined View on Github →

2020-07-30 01:12

src/topology/path_connected.lean

feat(topology): path connected spaces

Added joined View on Github →