Mathlib v3 is deprecated. Go to Mathlib v4

Def localization.of_comm_ring

Modification history

2019-02-16 21:24
src/ring_theory/localization.lean
feat(ring_theory/localization): revamp, ideal embedding (#481)
Deleted localization.of_comm_ringView on Github →
2018-03-09 14:39
ring_theory/localization.lean
chore(ring_theory): introduce r_of_eq for localization
Modified localization.of_comm_ringView on Github →
2018-03-08 11:25
ring_theory/localization.lean
feat(ring_theory): move localization
Added localization.of_comm_ringView on Github →