Theorem Polynomial.Monic.natDegree_mul

Modification history