Theorem deriv_fun_inv''

Modification history