Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-25 10:40 03c0d6c0

View on Github →

feat(algebra/group/basic): add_add_neg_cancel'_right (#1261)

feat(algebra/group/basic): add_add_neg_cancel'_right
fix build

Estimated changes

Modified src/algebra/group/basic.lean

added theorem add_add_neg_cancel'_right

Modified src/analysis/convex.lean

Modified src/number_theory/pell.lean

Modified src/topology/metric_space/isometry.lean