Next:
Definitions
Up:
The LEGO library
Previous:
Quotient Types
Relations
An extensive collection of theorems on relations, and their closures.
Definitions
Relation closures
Lego
Fri May 24 19:01:27 BST 1996