PR #778 feat(ring_theory/noetherian): Nakayama's Lemma

feat(ring_theory/noetherian): Nakayama's Lemma #778

ChrisHughes24 merged 3 commits into master from nakayama

feat(ring_theory/noetherian): Nakayama's Lemma

2a743475

cipher1024 assigned

ChrisHughes24 7 years ago

jcommelin commented on 2019-03-01

Update src/ring_theory/noetherian.lean

eb1aff41

Merge branch 'master' into nakayama

93c09790

ChrisHughes24 merged 7de57e84 into master 7 years ago

ChrisHughes24 deleted the nakayama branch 7 years ago

Reviewers

jcommelin

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone