@hackage / opentheory-divides

The divides relation on natural numbers

Latest1.66

Dependencies