Theorem convex_halfSpace_re_lt

Modification history