Commit 2021-08-09 13:47 8edcf906
View on Github →feat(ring_theory/noetherian): add noeth ring lemma (#8566) I couldn't find this explicit statement in the library -- I feel like it's the way a mathematician would define a Noetherian ring though.
feat(ring_theory/noetherian): add noeth ring lemma (#8566) I couldn't find this explicit statement in the library -- I feel like it's the way a mathematician would define a Noetherian ring though.