Theorem Polynomial.Monic.degree_mul

Modification history