mathlib
4985ad55 - Revert "feat(topology): path connected spaces"

Commit

5 years ago

Revert "feat(topology): path connected spaces" This reverts commit 9208c2bd1f6c8dedc0cd1646dd107842f05b0b0c.

Author

PatrickMassot

Parents