Gilith OpenTheory Repo - Package natural-div-1.27

Sunset Tree

Package natural-div-1.27

Information

versions	1.16→ ··· →1.24→1.26→ 1.27 →1.28→1.33→ ··· → 1.57
description	Natural number division
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:55:51 on Monday 4 June 2012

For more details see the package document.

Includes

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

Included By

natural-1.54 — The natural numbers