Theorem Polynomial.eval_eq_sum_degreeLTEquiv

Modification history