Theorem convexHull_toCone_isLeast

Modification history