Theorem Polynomial.IsUnitTrinomial.leadingCoeff_isUnit

Modification history