Mathlib v3 is deprecated. Go to Mathlib v4

Theorem localization.refl

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.refl View on Github →

2018-03-09 14:39

ring_theory/localization.lean

chore(ring_theory): introduce r_of_eq for localization

Modified localization.refl View on Github →

2018-03-08 11:25

ring_theory/localization.lean

feat(ring_theory): move localization

Added localization.refl View on Github →