Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-24 04:51 a7a9c91e

View on Github →

feat(ring_theory/localization): Localizing at units is isomorphic to the ring (#9324)

Estimated changes