WhoCites
Definitions
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites icomb?
icomb
Def I(
x
) ==
x
Thm*
A
:Type. I
A
A
Syntax:
I
has structure:
icomb
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
core
StandardLIB
Doc