Theorem trop_sum

Modification history