Mathlib v3 is deprecated. Go to Mathlib v4

Def loc.mul

Modification history

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