Theorem convexHull_zero

Modification history

2023-07-16 11:34
Mathlib/Analysis/Convex/Hull.lean
chore: forward-port leanprover-community/mathlib#18943 (#5854)
Added convexHull_zeroView on Github →