Theorem deriv_const'

Modification history