Theorem Polynomial.aeval_pow_two_pow_dvd_aeval_iterate_newtonMap

Modification history