Theorem deriv_const_add'

Modification history