@hackage opentheory-divides1.66

The divides relation on natural numbers

The divides relation on natural numbers - this package was automatically generated from the OpenTheory package natural-divides-1.66