Theorem fderiv_sum

Modification history