Theorem Polynomial.Monic.natDegree_mul_comm

Modification history