Theorem Polynomial.pow_sub_dvd_iterate_derivative_of_pow_dvd

Modification history