Mordor OpenTheory Repo

packages   •   recent   •   upload

Package natural-1.10

Information

For more details see the package document.

Includes

• axiom-infinity-1.0 — axiom-infinity
• natural-add-1.8 — Definitions and theorems about natural number addition
• natural-cases-1.1 — natural-cases
• natural-def-1.1 — natural-def
• natural-distance-1.3 — Natural number distance function
• natural-div-mod-1.2 — Definitions and theorems about natural number division
• natural-even-odd-1.1 — Definitions and theorems about natural number even and odd
• natural-exp-1.2 — Definitions and theorems about natural number exponentiation
• natural-factorial-1.2 — Definitions and theorems about natural number factorial
• natural-min-max-1.4 — Natural number min and max functions
• natural-mult-1.7 — Definitions and theorems about natural number multiplication
• natural-numeral-1.1 — Definitions and theorems about natural number numerals
• natural-order-1.5 — Definitions and theorems about natural number orderings
• natural-pre-1.1 — natural-pre
• natural-recursion-1.0 — natural-recursion
• natural-sub-1.2 — Definitions and theorems about natural number subtraction

Included By

• base-1.18 — The standard theory library