Assertion list for term "congruent modulo".

Results from Ascent++: 1
integer HasPropertycongruent modulo 0.47