mathlib

1803a678 - feat(data/(mv_)polynomial): add aeval_prod and aeval_sum for (mv_)polynomial (#10594)