Theorem convex_halfspace_im_gt

Modification history