Theorem convex_halfspace_le

Modification history