Assertion list for term "multiplicative inverse".

Results from Ascent++: 1
element (aspect of set) HasAmultiplicative inverse 0.41