Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-02 10:22 20d95410

View on Github →

chore(ring_theory/localization): localization_map_bijective rename & field instance version (#12375)

Estimated changes