Theorem convex_halfspace_re_ge

Modification history