Theorem Polynomial.eq_of_infinite_eval_eq

Modification history