Assertion list for term "set of the equation".

Results from Ascent++: 1
solution IsAset of the equation 0.39