Theorem summable_partition

Modification history