Theorem Polynomial.roots.le_of_dvd

Modification history