Theorem deriv_add_const'

Modification history