Theorem segment_subset_convexHull

Modification history