@hackage opentheory-prime1.79

Prime natural numbers

Prime natural numbers - this package was automatically generated from the OpenTheory package natural-prime-1.79