Theorem Polynomial.natTrailingDegree_X

Modification history