Theorem Polynomial.expand_eq_sum

Modification history