Theorem Polynomial.degree_coe_units

Modification history