Theorem fderiv_add_const

Modification history