Theorem convex_convexHull

Modification history

2023-12-20 15:10

Mathlib/Analysis/Convex/Hull.lean

refactor: Closure predicate for `ClosureOperator` (#9153) …

Modified convex_convexHull View on Github →

2023-03-28 12:06

Mathlib/Analysis/Convex/Hull.lean

feat: port Analysis.Convex.Hull (#3147)

Added convex_convexHull View on Github →