mathlib3
c1443d66 - feat(ring_theory/localization): random lemmata for edge cases (#12146)

Commit

4 years ago

feat(ring_theory/localization): random lemmata for edge cases (#12146)

Author

ericrbg

ericrbg

Parents

Loading