Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes