Theorem convex_halfspace_re_gt

Modification history