mathlib3

feat(data/polynomial/laurent): degrees for Laurent polynomials

#13415

Open