Theorem Polynomial.pow_sub_one_dvd_derivative_of_pow_dvd

Modification history