Theorem convex_halfSpace_im_lt

Modification history