Theorem Affine.Simplex.convexHull_eq_closedInterior

Modification history

2026-02-25 22:02
Mathlib/Analysis/Convex/Combination.lean
feat(Geometry/Euclidean): Simplex.closedInterior is closed (#35358) …
Added Affine.Simplex.convexHull_eq_closedInteriorView on Github →