Theorem Polynomial.IsMonicOfDegree.natDegree_sub_lt

Modification history