Mathlib v3 is deprecated. Go to Mathlib v4

Def localization.loc

Modification history

2019-03-06 14:21

src/ring_theory/localization.lean

feat(ring_theory/localization): adds induced ring hom between fraction rings (#781) …

Deleted localization.loc View on Github →

2018-03-08 11:25

ring_theory/localization.lean

feat(ring_theory): move localization

Added localization.loc View on Github →