Sunset Tree

Package relation-well-founded-thm-1.56

Information

versions1.0 ··· 1.531.54 1.56 1.571.58 ···  1.63
descriptionProperties of well-founded relations
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed21:05:56 on Tuesday 10 December 2013

For more details see the package document.

Included By