@hackage opentheory-prime1.85

Prime natural numbers

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