mathlib3
refactor(ring_theory/noetherian): change order of instance arguments
#1250
Merged
Merged