Theorem Polynomial.coeff_hermite_succ_zero

Modification history