Mordor OpenTheory Repo - Package natural-sub-1.22

Sunset Tree

Package natural-sub-1.22

Information

versions	1.2→ ··· →1.18→1.20→ 1.22 →1.23→1.24→ 1.26
description	Natural number subtraction
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	22:01:38 on Monday 26 March 2012

For more details see the package document.

Includes

natural-sub-def-1.19 — Definition of natural number subtraction
natural-sub-thm-1.20 — Properties of natural number subtraction

Included By

natural-1.51 — The natural numbers