Mordor OpenTheory Repo - Package set-fold-def-1.13

Sunset Tree

Package set-fold-def-1.13

Information

versions	1.8→1.10→1.11→ 1.13 →1.25→1.30→ ··· → 1.53
description	set-fold-def
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	17:40:01 on Thursday 22 September 2011

For more details see the package document.

Included By

set-fold-1.9 — A fold operation on finite sets