Theorem Polynomial.natTrailingDegree_C

Modification history