Mordor OpenTheory Repo - Package set-thm-1.51

Sunset Tree

Package set-thm-1.51

Information

versions	1.9→ ··· →1.43→1.46→ 1.51 →1.53→1.54→ ··· → 1.75
description	Properties of set types
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	07:38:10 on Thursday 16 August 2012

For more details see the package document.

Included By

set-1.50 — Set types