Theorem IsLocalization.commutes

Modification history

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