Mathlib v3 is deprecated. Go to Mathlib v4

Def loc.add_aux

Modification history

2018-03-08 11:25
algebra/localization.lean
feat(ring_theory): move localization
Deleted loc.add_auxView on Github →
2018-02-01 22:14
algebra/localization.lean
Create localization.lean
Added loc.add_auxView on Github →