Theorem AffineIndependent.convexHull_inter'

Modification history

2025-04-15 07:29

Mathlib/Analysis/Convex/Combination.lean

chore(Analysis/Convex/Combination): remove `open scoped Classical` from theorems (#24057) …

Modified AffineIndependent.convexHull_inter'View on Github →

2024-01-16 16:52

Mathlib/Analysis/Convex/Combination.lean

feat: Intersection of convex hulls is convex hull of intersection (#9203) …

Added AffineIndependent.convexHull_inter'View on Github →