Gilith OpenTheory Repo - Package set-thm-1.43

Sunset Tree

Package set-thm-1.43

Information

versions	1.12→ ··· →1.40→1.42→ 1.43 →1.46→1.51→ ··· → 1.75
description	Properties of set types
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	04:36:15 on Monday 11 June 2012

For more details see the package document.

Included By

set-1.44 — Set types