Mathlib v3 is deprecated. Go to Mathlib v4

Def loc.add

Modification history

2018-03-08 11:25

algebra/localization.lean

feat(ring_theory): move localization

Deleted loc.add View on Github →

2018-02-01 22:14

algebra/localization.lean

Create localization.lean

Added loc.add View on Github →