Theorem summable_sum_mul_range_of_summable_mul

Modification history