Theorem IsClosed.convexHull_subset_affineSpan_isVisible

Modification history

2024-11-05 21:39
Mathlib/Analysis/Convex/Visible.lean
feat(Convex): visibility through a set (#17928) …
Added IsClosed.convexHull_subset_affineSpan_isVisibleView on Github →