Theorem List.wbtw_singleton

Modification history

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