Theorem convex_halfspace_im_lt

Modification history