Mordor OpenTheory Repo - Package set-1.62

Sunset Tree

Package set-1.62

Information

versions	1.8→ ··· →1.56→1.61→ 1.62 →1.63→1.64→ ··· → 1.85
description	Set types
author	Joe Leslie-Hurd <joe@gilith.com>
license	MIT
installed	04:20:58 on Sunday 23 March 2014

For more details see the package document.

Includes

set-def-1.46 — Definition of set types
set-size-1.52 — Finite set cardinality
set-thm-1.60 — Properties of set types
set-finite-1.50 — Finite sets
set-fold-1.41 — A fold operation on finite sets

Included By

base-1.157 — The standard theory library
base-1.158 — The standard theory library