Package natural-sub-def-1.20
Information
versions | 1.0→ ··· →1.17→1.19→ 1.20 →1.21→ 1.22 |
description | Definition of natural number subtraction |
author | Joe Hurd <joe@gilith.com> |
license | MIT |
installed | 23:55:39 on Monday 4 June 2012 |
For more details see the package document.
Included By
- natural-sub-1.23 — Natural number subtraction