Theorem Finset.mem_convexHull'

Modification history