Sunset Tree

Package list-nub-thm-1.15

Information

versions1.13→ 1.15 →1.30→1.33→ ··· → 1.57
descriptionlist-nub-thm
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed02:09:41 on Monday 17 October 2011

For more details see the package document.

Included By

  • list-nub-1.15 — Definitions and theorems about the list nub function