Mathlib v3 is deprecated. Go to Mathlib v4

Theorem localization.symm

Modification history

2020-05-22 07:28

src/ring_theory/localization.lean

refactor(ring_theory/localization): characterise ring localizations up to isomorphism (#2714) …

Deleted localization.symm View on Github →

2019-02-16 21:24

src/ring_theory/localization.lean

feat(ring_theory/localization): revamp, ideal embedding (#481)

Modified localization.symm View on Github →

2018-03-08 11:25

ring_theory/localization.lean

feat(ring_theory): move localization

Added localization.symm View on Github →