Structure IsExtreme

Modification history

2025-10-02 21:06

Mathlib/Analysis/Convex/Extreme.lean

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

Added IsExtreme View on Github →