Theorem fderivWithin_fun_pow'

Modification history