Def Polynomial.IsUnitTrinomial

Modification history

2023-06-10 20:59

Mathlib/Data/Polynomial/UnitTrinomial.lean

feat: port Data.Polynomial.UnitTrinomial (#4948)

Added Polynomial.IsUnitTrinomial View on Github →