The Integers

The directory lib_integers of the library gives a definition of the integers. In it integers are represented as pairs of natural numbers where the pair (n,m) represents the integer n-m.

• Extra lemmas for integers
• The Integers-Definitions
• Basic Lemmas
• Some theorems about Modulo
• Some integer facts for number theory
• Boolean valued functions on the integers
• Propositional relations on integers
• Max and min on integers