Mordor OpenTheory Repo - Package set-finite-1.42

Sunset Tree

Package set-finite-1.42

Information

versions	1.6→ ··· →1.37→1.39→ 1.42 →1.45→1.46→ ··· → 1.62
description	Finite sets
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	07:38:14 on Thursday 16 August 2012

For more details see the package document.

Includes

set-finite-def-1.29 — Definition of finite sets
set-finite-thm-1.49 — Properties of finite sets

Included By

set-1.50 — Set types