Theorem derivWithin_rpow_const

Modification history