Theorem convex_list_sum

Modification history