Theorem convex_halfSpace_lt

Modification history