mathlib

804b0ede - chore(data/mv_polynomial/basic): add coeff_smul to match coeff_add etc (#6742)