Theorem StarConvex.segment_subset

Modification history