mathlib3

fix(data/mv_polynomial): generalize equivs to comm_semiring

#1621

Merged