Theorem summable_of_sum_le

Modification history