Mordor OpenTheory Repo - Package set-finite-1.31

Sunset Tree

Package set-finite-1.31

Information

versions	1.6→ ··· →1.23→1.29→ 1.31 →1.33→1.36→ ··· → 1.62
description	Finite sets
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	10:02:35 on Monday 13 February 2012

For more details see the package document.

Includes

set-finite-def-1.20 — Definition of finite sets
set-finite-thm-1.36 — Properties of finite sets

Included By

set-1.35 — Set types
set-1.36 — Set types