Theorem deriv_sub_const_fun

Modification history