Theorem convex_halfspace_lt

Modification history