Gilith OpenTheory Repo - Package natural-div-1.24

Sunset Tree

Package natural-div-1.24

Information

versions	1.16→1.21→1.23→ 1.24 →1.26→1.27→ ··· → 1.57
description	Natural number division
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:08:24 on Friday 9 March 2012

For more details see the package document.

Includes

natural-div-def-1.26 — Definition of natural number division
natural-div-thm-1.28 — Properties of natural number division

Included By

natural-1.47 — The natural numbers