Theorem Polynomial.trinomial_def

Modification history