Skip to content

feat(Geometry/Convex): characterize hulls of ranges via convex combinations - #92

Merged
martinwintermath merged 2 commits into
ooovi:mainfrom
kilianar:convexHull-range
Sep 7, 2026
Merged

feat(Geometry/Convex): characterize hulls of ranges via convex combinations#92
martinwintermath merged 2 commits into
ooovi:mainfrom
kilianar:convexHull-range

Update Polyhedral/Mathlib/Geometry/Convex/ConvexSpace/Set/Hull.lean

e5c222c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Sep 7, 2026 in 3m 0s