Assertion list for term "additive inverse".

Results from Ascent++: 1
vector HasAadditive inverse 0.41