Theorem Polynomial.coeff_le_of_roots_le

Modification history