Assertion list for term "closed under multiplication".

Results from Ascent++: 1
rational number ReceivesActionclosed under multiplication 0.37