Assertion list for term "divisor".

Results from Ascent++: 1
prime number HasAdivisor 0.25