Theorem List.sbtw_nil

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_nilView on Github →