Theorem Polynomial.IsUnitTrinomial.irreducible_of_coprime

Modification history