Theorem convex_halfSpace_im_le

Modification history