Assertion list for term "inverse".

Results from Ascent++: 4
matrix HasAinverse 0.68
function HasAinverse 0.54
element (aspect of set) HasAinverse 0.44
yield HasPropertyinverse 0.25