Theorem Convex.mem_extremePoints_iff_mem_diff_convexHull_diff

Modification history