Theorem Polynomial.IsUnitTrinomial.trailingCoeff_isUnit

Modification history