feat(data/mv_polynomial/rename): coeff_rename (#4203)
feat(data/mv_polynomial/rename): coeff_rename (#4203)

Also, use the opportunity to use R as variable for the coefficient ring
throughout the file.






leanprover-community/mathlib,leanprover-community/mathlib