mathlib
3fe20d40 - feat(ring_theory/localization): add mk' lemmas (#12081)

Commit

3 years ago

feat(ring_theory/localization): add mk' lemmas (#12081) Co-authored-by: Vierkantor <vierkantor@vierkantor.com>

Author

mariainesdff

Parents