Sunset Tree

Package axiom-extensionality-1.5

Information

versions1.01.3 1.5 1.8 1.9
descriptionAxiom of Extensionality
authorJoe Hurd <joe@gilith.com>
licenseMIT
installed02:09:17 on Monday 17 October 2011

For more details see the package document.

Included By

Included by 8 packages