Theorem deriv_fun_add

Modification history