Sunset Tree

Package relation-natural-def-1.24

Information

versions1.5→ ··· →1.22→1.23→ 1.24 → 1.26
descriptionDefinition of relations over natural numbers
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed21:05:54 on Tuesday 10 December 2013

For more details see the package document.

Included By