Theorem Polynomial.natTrailingDegree_intCast

Modification history