Theorem StrictConvex.eq_of_openSegment_subset_frontier

Modification history