Theorem deriv_pow''

Modification history