Theorem deriv_pow'

Modification history