Package set-fold-def-1.11
Information
versions | 1.11 →1.13→1.25→ ··· → 1.53 |
description | set-fold-def |
author | Joe Hurd <joe@gilith.com> |
license | HOLLight |
installed | 00:02:38 on Friday 16 September 2011 |
For more details see the package document.
Included By
- set-fold-1.7 — A fold operation on finite sets