mathlib3

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

#1261

Merged