Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-10 06:01 7150c90f

View on Github →

refactor(ring_theory/localization): Golf two proofs (#7520) Golfing two proofs and changing their order.

Estimated changes