Theorem fderiv_fun_pow

Modification history