Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-01 09:53 89bc63c3

View on Github →

feat(ring_theory/noetherian): is_noetherian_ring_range

Estimated changes