Theorem Polynomial.trinomial_trailing_coeff'

Modification history