Theorem convex_independent_set_iff_not_mem_convex_hull_diff

Modification history