Theorem Polynomial.IsMonicOfDegree.add_right

Modification history