Theorem fderivWithin_fun_pow

Modification history