Theorem fderiv_const_add

Modification history