Def IsLocalization.AtPrime.equivQuotMaximalIdeal

Modification history

2025-12-13 22:17

Mathlib/RingTheory/Localization/AtPrime/Basic.lean

chore(Trace/Quotient): move isomorphism to `Localization.AtPrime.Basic` (#32045) …

Added IsLocalization.AtPrime.equivQuotMaximalIdeal View on Github →