Theorem Polynomial.IsUnitTrinomial.irreducible_of_isCoprime

Modification history