Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-02 07:33 a59876f1

View on Github →

feat(ring_theory): quotients of a noetherian ring are noetherian (#9449)

Estimated changes