mathlib3

a8c29236 - refactor(ring_theory/noetherian): change order of instance arguments (#1250)

refactor(ring_theory/noetherian): change order of instance arguments (#1250) Zulip discussion https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Type.20class.20failure This change makes some type class searches work better.