Theorem Polynomial.IsUnitTrinomial.coeff_isUnit

Modification history