Theorem Polynomial.coe_def

Modification history