Theorem StrictConvex.openSegment_subset

Modification history