Theorem pathConnected_subset_basis

Modification history

2024-10-18 05:56

Mathlib/Topology/Connected/PathConnected.lean

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

Modified pathConnected_subset_basis View on Github →

2023-03-23 16:06

Mathlib/Topology/PathConnected.lean

feat: port Topology.PathConnected (#2755) …

Added pathConnected_subset_basis View on Github →