Theorem convex_halfSpace_le

Modification history