Def IsExtreme

Modification history

2025-10-02 21:06

Mathlib/Analysis/Convex/Extreme.lean

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

Deleted IsExtreme View on Github →

2023-03-29 10:04

Mathlib/Analysis/Convex/Extreme.lean

feat: port Analysis.Convex.Extreme (#3167)

Added IsExtreme View on Github →