Theorem deriv_sum

Modification history