Gilith OpenTheory Repo - Package relation-1.31

Sunset Tree

Package relation-1.31

Information

versions	1.0→ ··· →1.13→1.25→ 1.31 →1.33→1.36→ ··· → 1.63
description	Relation operators
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	05:09:07 on Monday 30 January 2012

For more details see the package document.

Includes

relation-def-1.6 — Definition of relation operators
relation-natural-1.10 — Relations over natural numbers
relation-thm-1.4 — Properties of relation operators
relation-well-founded-1.31 — Well-founded relations

Included By

base-1.75 — The standard theory library