Mordor OpenTheory Repo - Package set-finite-1.39

Sunset Tree

Package set-finite-1.39

Information

versions	1.6→ ··· →1.36→1.37→ 1.39 →1.42→1.45→ ··· → 1.62
description	Finite sets
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:45:45 on Sunday 17 June 2012

For more details see the package document.

Includes

set-finite-def-1.24 — Definition of finite sets
set-finite-thm-1.44 — Properties of finite sets

Included By

set-1.47 — Set types