mathlib3

feat(data/equiv/algebra): ring equiv for mv_polynomial

#644

Merged