Theorem JoinedIn.of_segment_subset

Modification history

2023-12-04 08:33
Mathlib/Analysis/Convex/Topology.lean
chore: tidy various files (#8560)
Added JoinedIn.of_segment_subsetView on Github →