Theorem Polynomial.trailingDegree_C

Modification history