@hackage / opentheory-divides

The divides relation on natural numbers

Latest1.66

About

Metadata

  • Last updated , by JoeHurd
  • License MIT
  • Categories Mathematics
  • Maintained by: Joe Leslie-Hurd <joe@gilith.com>

  • Lottery factor: 0

Links

Installation

Readme

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