Theorem Polynomial.hermite_eq_iterate

Modification history