Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-01 22:14 03fefd43

View on Github →

Create localization.lean

Estimated changes

Created algebra/localization.lean

added def loc.add

added def loc.add_aux

added def loc.loc

added def loc.mul

added def loc.mul_aux

added def loc.neg

added def loc.neg_aux