Theorem segment_inter_subset_endpoint_of_linearIndependent_sub

Modification history

2025-04-28 14:59
Mathlib/Analysis/Convex/Segment.lean
chore(Analysis/Convex): drop unused arguments (#24392) …
Added segment_inter_subset_endpoint_of_linearIndependent_subView on Github →