Theorem sum_collapse

Modification history