Theorem Polynomial.dvd_iterate_derivative_pow

Modification history