Gilith OpenTheory Repo - Package set-thm-1.42

Sunset Tree

Package set-thm-1.42

Information

versions	1.12→ ··· →1.37→1.40→ 1.42 →1.43→1.46→ ··· → 1.75
description	Properties of set types
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	23:56:14 on Monday 4 June 2012

For more details see the package document.

Included By

set-1.43 — Set types