Theorem Polynomial.derivative_pow_succ

Modification history