Sunset Tree

Package relation-natural-thm-1.40

Information

versions1.6→ ··· →1.36→1.39→ 1.40 →1.41→1.42→ ··· → 1.44
descriptionProperties of relations over natural numbers
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed00:34:40 on Thursday 20 November 2014

For more details see the package document.

Included By