Theorem Polynomial.eq_zero_of_dvd_of_natDegree_lt

Modification history