Theorem StarConvex.openSegment_subset

Modification history