Theorem locPathConnected_of_bases

Modification history

2024-10-18 05:56

Mathlib/Topology/Connected/PathConnected.lean

feat(PathConnected): review API, add missing lemmas (#17855)

Deleted locPathConnected_of_bases View on Github →

2023-03-23 16:06

Mathlib/Topology/PathConnected.lean

feat: port Topology.PathConnected (#2755) …

Added locPathConnected_of_bases View on Github →