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
chore(ring_theory/localization) weaken hypothesis from field to comm_ring (#11713)
also making B
an explicit argument