mathlib

b1d3ef9a - chore(data/mv_polynomial/basic): speedup coeff_mul (#4469)