Theorem convexHull_smul

Modification history

2024-07-11 17:04

Mathlib/Analysis/Convex/Hull.lean

feat: Product of convex hulls (#13952) …

Modified convexHull_smul View on Github →

2024-03-15 09:45

Mathlib/Analysis/Convex/Hull.lean

refactor: flip `LinearMap.convexHull_image` and rename to `LinearMap.image_convexHull` (#11298) …

Modified convexHull_smul View on Github →

2023-03-28 12:06

Mathlib/Analysis/Convex/Hull.lean

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

Added convexHull_smul View on Github →