mathlib

7cfcce3d - feat(data/equiv/algebra): ring equiv for mv_polynomial