/theories/Numbers/Integer/

• ../
• Axioms
• NatPairs