Theorem Polynomial.IsUnitTrinomial.ne_zero

Modification history