mathlib3
7150c90f - refactor(ring_theory/localization): Golf two proofs (#7520)

Commit

4 years ago

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

Author

justus-springer

Parents