Theorem convexHull_min

Modification history

2023-12-20 15:10

Mathlib/Analysis/Convex/Hull.lean

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

Modified convexHull_min View on Github →

2023-03-28 12:06

Mathlib/Analysis/Convex/Hull.lean

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

Added convexHull_min View on Github →