[Merged by Bors] - docs: make sub_neg refer to sub_neg_eq_add

[ericrbg]

I'm not a fan of this naming :/

---

[ocfnash]

bors merge

[bors]

Build failed (retrying...):

• Build

[bors]

Build failed:

• Build

[Ruben-VandeVelde]

I canceled the build because a commit was pushed manually, so bors would have refused to merge, but that seems to have pushed this PR back to the "awaiting review" stage; apologies.

[ocfnash]

bors d=ericbg

[bors]

✌️ ericBG can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

[ericrbg]

bors r+

[bors]

🔒 Permission denied

Existing reviewers: click here to make ericrbg a reviewer

[ocfnash]

bors d=ericrbg

[bors]

✌️ ericrbg can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

[ericrbg]

bors r+

[bors]

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• Build
• Check all files imported
• Lint style