Mordor OpenTheory Repo - Package set-finite-1.36

Sunset Tree

Package set-finite-1.36

Information

versions	1.6→ ··· →1.31→1.33→ 1.36 →1.37→1.39→ ··· → 1.62
description	Finite sets
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:47:32 on Monday 4 June 2012

For more details see the package document.

Includes

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

Included By

set-1.43 — Set types