Theorem Polynomial.coe_expand

Modification history