basic): add_add_neg_cancel'_right
#1261

Merged

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

mergify merged 3 commits into master from ChrisHughes24-patch-2

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

25a9fc80

ChrisHughes24 requested a review 6 years ago

fix build

216f66d2

robertylewis approved these changes on 2019-07-25

robertylewis added ready-to-merge

Merge branch 'master' into ChrisHughes24-patch-2

bd9189c9

mergify merged 03c0d6c0 into master 6 years ago

mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone