Theorem convex_halfspace_ge

Modification history