Sunset Tree

Package relation-natural-def-1.24

Information

versions1.5 ··· 1.221.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