Theorem convex_halfSpace_im_gt

Modification history