Theorem Polynomial.Monic.mul_natDegree_lt_iff

Modification history