Theorem convexHull_pair

Modification history

2025-04-28 14:59

Mathlib/Analysis/Convex/Hull.lean

chore(Analysis/Convex): drop unused arguments (#24392) …

Modified convexHull_pair View on Github →

2023-03-28 12:06

Mathlib/Analysis/Convex/Hull.lean

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

Added convexHull_pair View on Github →