[Merged by Bors] - chore(RingTheory/Smooth/Basic): fix namespace of mvPolynomial instance#39706

justus-springer wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/Algebra.FormallySmooth_namespace_fixjustus-springer/mathlib4:justus/Algebra.FormallySmooth_namespace_fixCopy head branch name to clipboard