Theorem Polynomial.trinomial_leading_coeff'

Modification history