Theorem IsExtreme.right_mem_of_mem_openSegment

Modification history

2025-10-02 21:06

Mathlib/Analysis/Convex/Extreme.lean

chore(Convex/Extreme): redefine `IsExtreme` and `extremePoints` (#29950) …

Added IsExtreme.right_mem_of_mem_openSegment View on Github →