mathlib

01a18244 - feat(data/polynomial/unit_trinomial): An irreducibility criterion for unit trinomials (#14914)

feat(data/polynomial/unit_trinomial): An irreducibility criterion for unit trinomials (#14914) This PR adds an irreducibility criterion for unit trinomials. This is building up to irreducibility of $x^n-x-1$.