Theorem derivWithin_fun_pow

Modification history