Mordor OpenTheory Repo - Package set-thm-1.40

Sunset Tree

Package set-thm-1.40

Information

versions	1.9→ ··· →1.34→1.37→ 1.40 →1.42→1.43→ ··· → 1.75
description	Properties of set types
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	22:01:59 on Monday 26 March 2012

For more details see the package document.

Included By

set-1.40 — Set types