Theorem deriv_pow

Modification history