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

Merged

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

mergify merged 1 commit into master from ChrisHughes24-patch-2

refactor(ring_theory/noetherian): change order of instance arguments

10cfaaa8

ChrisHughes24 requested a review 6 years ago

jcommelin approved these changes on 2019-07-22

jcommelin added ready-to-merge

mergify merged a8c29236 into master 6 years ago

mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone