Theorem isPathConnected_singleton

Modification history

2023-08-04 10:00
Mathlib/Topology/PathConnected.lean
feat: complements on connectedness and path-connectedness (#6347)
Added isPathConnected_singletonView on Github →