Theorem Function.Injective.list_wbtw_map_iff

Modification history

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