Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-10 02:12 4089712f

View on Github →

chore(ring_theory/polynomial): refactor proof of is_noetherian_ring_fin (#2117)

Estimated changes