Theorem Convexity.isConvexSet_iff_Icc_subset_of_mem

Modification history

2026-11-10 14:10
Mathlib/Geometry/Convex/Segment.lean
feat(Geometry/Convex): segments in convex space (#44799) …
Added Convexity.isConvexSet_iff_Icc_subset_of_memView on Github →