Theorem segment_subset_convexJoin

Modification history