Package natural-divides-def: Definition of the divides relation on natural numbers

Information

namenatural-divides-def
version1.41
descriptionDefinition of the divides relation on natural numbers
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
provenanceHOL Light theory extracted on 2014-10-30
checksumd0b2af6b068eb3e39c2268bd96988e581d1595ab
requiresbase
showData.Bool
Number.Natural

Files

Defined Constant

Theorem

a b. divides a b c. c * a = b

External Type Operators

External Constants

Assumptions

() = λp. p = λx.