chore(data/mv_polynomial): reverse an import (#18593)
As proposed on [zulip](https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/!4.232887.20Data.2EMvPolynomial.2EMonad/near/342140597)
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
