Theorem deriv_fun_pow''

Modification history