PR !4#9973: feat: polynomials formed by lists

Stream: triage

[Random Issue Bot]

Today I chose PR #9973 for discussion!

feat: polynomials formed by lists
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2024-01-24
Labels: please-adopt, merge-conflict, t-data

Is this PR still relevant? Any recent updates? Anyone making progress?

[Ruben Van de Velde]

Originally by @Yakov Pechersky in mathlib3; probably reasonably easy to resurrect if anyone is interested, but I won't.