opentheory-prime-1.80: Prime natural numbers
OpenTheory.Natural.Prime
Description
primes :: [Natural] Source