Theorem tprod_sum

Modification history