Sunset Tree

Package relation-natural-def-1.23

Information

versions1.5→ ··· →1.20→1.22→ 1.23 →1.24→ 1.26
descriptionDefinition of relations over natural numbers
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed21:31:12 on Saturday 10 November 2012

For more details see the package document.

Included By