Theorem derivWithin_pow

Modification history