Theorem convex_halfspace_re_lt

Modification history