Theorem IsExposed.sInter

Modification history

2025-04-09 10:22

Mathlib/Analysis/Convex/Exposed.lean

chore: use mixin ordered algebraic typeclasses (part 2) (#20595)

Modified IsExposed.sInter View on Github →

2023-05-14 07:05

Mathlib/Analysis/Convex/Exposed.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added IsExposed.sInter View on Github →