Theorem deriv_const_add

Modification history