Mordor OpenTheory Repo - Package real-thm-1.5

Sunset Tree

Package real-thm-1.5

Information

versions	1.4→ 1.5 →1.7→1.20→ ··· → 1.48
description	real-thm
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	23:06:12 on Wednesday 20 July 2011

For more details see the package document.

Included By

real-1.7 — The real numbers
real-1.8 — The real numbers