Theorem convex_halfSpace_ge

Modification history