Mordor OpenTheory Repo - Package set-size-1.43

Sunset Tree

Package set-size-1.43

Information

versions	1.6→ ··· →1.39→1.40→ 1.43 →1.46→1.49→ ··· → 1.60
description	Finite set cardinality
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:45:52 on Sunday 17 June 2012

For more details see the package document.

Includes

set-size-def-1.22 — Definition of finite set cardinality
set-size-thm-1.48 — Properties of finite set cardinality

Included By

set-1.47 — Set types