Theorem mem_convexHull_of_exists_fintype

Modification history