Mordor OpenTheory Repo - Package set-size-1.33

Sunset Tree

Package set-size-1.33

Information

versions	1.6→ ··· →1.30→1.31→ 1.33 →1.34→1.37→ ··· → 1.60
description	Finite set cardinality
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	10:02:42 on Monday 13 February 2012

For more details see the package document.

Includes

set-size-def-1.18 — Definition of finite set cardinality
set-size-thm-1.38 — Properties of finite set cardinality

Included By

set-1.35 — Set types