Assertion list for term "be a product of primes".

Results from Ascent++: 1
integer CapableOfbe a product of primes 0.50