Theorem List.Sbtw.pairwise_ne

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.pairwise_neView on Github →