Theorem deriv_fun_sub

Modification history