Theorem deriv_const_sub

Modification history