Theorem Polynomial.IsMonicOfDegree.of_mul_right

Modification history