Theorem IsLocalization.Away.mk

Modification history

2024-09-29 14:29
Mathlib/RingTheory/Localization/Away/Basic.lean
feat(RingTheory/Localization): some API on localizations (#17030) …
Added IsLocalization.Away.mkView on Github →