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.
refactor(ring_theory/localization): Golf two proofs (#7520) Golfing two proofs and changing their order.