Theorem Polynomial.trinomial_trailingCoeff

Modification history