WhoCites Definitions mb list 1 Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites compose?
composeDef (f o g)(x) == f(g(x))
Thm* A,B,C:Type, f:(BC), g:(AB). f o g  AC

Syntax:f o g has structure: compose(fg)

About:
applyfunctionuniversememberall!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb list 1 Sections MarkB generic Doc