Theorem localizationAlgebraMap_def

Modification history

2025-03-30 21:32

Mathlib/RingTheory/Localization/Basic.lean

refactor(RingTheory): small `erw`-removing refactors to localizations (#23375) …

Added localizationAlgebraMap_def View on Github →