Log in
Gilith OpenTheory Repo
packages
•
recent
•
upload
Package axiom-extensionality-1.5
Information
versions
1.0
→
1.3
→
1.5
→
1.8
→
1.9
description
Axiom of Extensionality
author
Joe Hurd <joe@gilith.com>
license
MIT
installed
02:09:17 on Monday 17 October 2011
For more details see the
package document
.
Included By
Included by 8 packages