Gilith OpenTheory Repo - Package set-finite-1.33

Sunset Tree

Package set-finite-1.33

Information

versions	1.9→ ··· →1.29→1.31→ 1.33 →1.36→1.37→ ··· → 1.62
description	Finite sets
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:11:12 on Monday 26 March 2012

For more details see the package document.

Includes

set-finite-def-1.21 — Definition of finite sets
set-finite-thm-1.38 — Properties of finite sets

Included By

set-1.40 — Set types