Theorem Polynomial.IsUnitTrinomial.irreducible_of_coprime'

Modification history

2024-07-27 18:20

Mathlib/Algebra/Polynomial/UnitTrinomial.lean

chore(Polynomial/UnitTrinomial): Don't import the fundamental theorem of algebra (#15207) …

Modified Polynomial.IsUnitTrinomial.irreducible_of_coprime'View on Github →

2023-06-10 20:59

Mathlib/Data/Polynomial/UnitTrinomial.lean

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

Added Polynomial.IsUnitTrinomial.irreducible_of_coprime'View on Github →