Assertion list for term "inverse operations".

Results from Ascent++: 2
subtraction IsAinverse operations 0.35
division IsAinverse operations 0.34