Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-11 11:48 f318e5d6

View on Github →

chore(ring_theory/artinian): typo (#9140)

Estimated changes