Square-difference-free polynomials beyond Naslund's conjectured bound

Source: url:https://github.com/JD-Jones-ASES/ns-lean Authors: JD Jones Status: verified Main declarations: NaslundCounterexample.conjecture_fails, NaslundCounterexample.liminf_ge Tags: additive-combinatorics, square-difference-free, function-fields, polynomial-constructions MSC: 11B75, 05D05