Theorem mem_convexHull_iff_exists_fintype

Modification history