Mordor OpenTheory Repo - Package set-finite-def-1.15

Sunset Tree

Package set-finite-def-1.15

Information

versions	1.8→1.9→1.10→ 1.15 →1.18→1.20→ ··· → 1.37
description	Definition of finite sets
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	21:21:08 on Thursday 1 December 2011

For more details see the package document.

Included By

set-finite-1.23 — Finite sets