Theorem deriv_fun_pow

Modification history