Theorem IsLocalization.Away.commutes

Modification history

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