Theorem StrictConvex.diff_interior_subset_extremePoints

Modification history

2026-06-09 08:51

Mathlib/Analysis/Convex/Strict/Extreme.lean

chore: rename `diff` to `sdiff` (#40184) …

Deleted StrictConvex.diff_interior_subset_extremePoints View on Github →

2026-03-10 19:38

Mathlib/Analysis/Convex/Strict/Extreme.lean

feat(Analysis/Convex): `extremePoints ℝ (closedBall x r) ⊆ sphere x r` (#35899) …

Added StrictConvex.diff_interior_subset_extremePoints View on Github →