DESCR : %THEOREM%

DESCR is a theorem.
Book Theorem: IOTA [= Y(A)] = Y
Axiom of description at all types.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage