Theorem Polynomial.coeff_bdd_of_roots_le

Modification history