Theorem Polynomial.IsUnitTrinomial.irreducible_aux2

Modification history