Sunset Tree

Package real-def-1.14

Information

versions1.12 1.14 1.321.38 ···  1.72
descriptionConstructing the real numbers
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed02:10:32 on Monday 17 October 2011

For more details see the package document.

Included By