Mathlib v3 is deprecated. Go to Mathlib v4

Def localization.quotient_ring

Modification history

2019-02-16 21:24

src/ring_theory/localization.lean

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

Deleted localization.quotient_ring View on Github →

2018-03-08 11:25

ring_theory/localization.lean

feat(ring_theory): move localization

Added localization.quotient_ring View on Github →