mathlib3

7fb7fb36 - feat(ring_theory/polynomial/chebyshev/dickson): Introduce generalised Dickson polynomials (#5869)

feat(ring_theory/polynomial/chebyshev/dickson): Introduce generalised Dickson polynomials (#5869) and replace lambdashev with dickson 1 1. Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Julian <kuelsha@mathematik.uni-stuttgart.de>