Assertion list for term "coprime".
Results from Ascent++: 1
integer → HasProperty → coprime 0.41