Sunset Tree

Package natural-def-1.11

Information

versions1.01.41.5 1.11 1.161.19 ···  1.29
descriptionConstructing the natural numbers
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed21:41:18 on Thursday 1 December 2011

For more details see the package document.

Included By