Theorem Polynomial.trinomial_leadingCoeff

Modification history