Theorem Polynomial.coeff_hermite_of_lt

Modification history