@hackage opentheory-divides1.55

The divides relation on natural numbers

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