Theorem IsExposed.eq_inter_halfSpace

Modification history

2025-04-09 10:22

Mathlib/Analysis/Convex/Exposed.lean

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

Modified IsExposed.eq_inter_halfSpace View on Github →

2024-11-13 06:19

Mathlib/Analysis/Convex/Exposed.lean

chore: rename `halfspace` to `halfSpace` (#18935) …

Added IsExposed.eq_inter_halfSpace View on Github →