Theorem List.sbtw_pair

Modification history

2025-03-31 14:24
Mathlib/Analysis/Convex/BetweenList.lean
feat(Analysis/Convex/BetweenList): betweenness for lists of points (#22178) …
Added List.sbtw_pairView on Github →