Assertion list
positive integer (subgroup of integer ) → HasProperty
Results from Ascent++: 1
positive integer → HasProperty → prime 0.74