Theorem convex_sum

Modification history