Theorem Polynomial.sum_monomial_eq

Modification history