Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-18 14:15 5ea384e8

View on Github →

refactor(ring_theory/finiteness): replace fragile convert with rewrites (#9787)

Estimated changes