Theorem open_segment_image
Modification history
2023-03-01 12:30
src/analysis/convex/segment.lean
feat(analysis/convex/extreme): Extreme points of `s ×ˢ t` (#18171) …
Deleted open_segment_imageView on Github →2022-08-20 08:58
src/analysis/convex/basic.lean
split(analysis/convex/segment): Split off `analysis/convex.basic` (#16112) …
Modified open_segment_imageView on Github →