Theorem convex_halfSpace_re_ge

Modification history