Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-30 10:31 dde904e0

View on Github →

chore(ring_theory/localization) weaken hypothesis from field to comm_ring (#11713) also making B an explicit argument

Estimated changes