feat(data/mv_polynomial): miscellaneous lemmas on eval, rename, etc (#1134)
feat(data/mv_polynomial): miscellaneous lemmas on eval, rename, etc (#1134)


leanprover-community/mathlib,leanprover-community/mathlib