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