Assertion list for term "neutral element".

Results from Ascent++: 1
magma HasAneutral element 0.25