Theorem Polynomial.trinomial_natTrailingDegree

Modification history