Theorem Polynomial.hermite_succ

Modification history