Theorem convex_halfspace_im_le

Modification history