Theorem Polynomial.IsUnitTrinomial.irreducible_aux1

Modification history