basic): add_add_neg_cancel'_right (#1261)

Commit

6 years ago

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

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents