Theorem Polynomial.expand_eq_C

Modification history