Theorem Polynomial.IsMonicOfDegree.aeval_sub

Modification history