Package natural-order-min-max-1.20
Information
versions | 1.14→1.16→1.18→ 1.20 →1.21→1.27→ ··· → 1.40 |
description | Natural number min and max functions |
author | Joe Hurd <joe@gilith.com> |
license | MIT |
installed | 23:10:42 on Monday 26 March 2012 |
For more details see the package document.
Includes
- natural-order-min-max-def-1.16 — Definition of natural number min and max functions
- natural-order-min-max-thm-1.19 — Properties of natural number min and max functions
Included By
- natural-order-1.29 — Natural number orderings
- natural-order-1.30 — Natural number orderings