Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-17 23:52 804b0ede

View on Github →

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

Estimated changes