Theorem convex_openSegment

Modification history