Theorem convex_independent_iff_not_mem_convex_hull_diff

Modification history