Def Polynomial.natTrailingDegree

Modification history