Theorem JoinedIn_of_segment_subset

Modification history

2023-12-04 08:33
Mathlib/Analysis/Convex/Topology.lean
chore: tidy various files (#8560)
Deleted JoinedIn_of_segment_subsetView on Github →
2023-08-31 11:52
Mathlib/Analysis/Convex/Topology.lean
feat: the complement of a countable set is path-connected in dimension > 1 (#6690) …
Added JoinedIn_of_segment_subsetView on Github →