mathlib3

f2458d6f - chore(data/mv_polynomial): Rename variables (#4208)

chore(data/mv_polynomial): Rename variables (#4208) I renamed `α` to `R` throughout. I also changed the `\sigma` to `σ` in `basic.lean`, see leanprover-community/doc-gen#62