PrintForm Definitions IteratedBinops Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: intmul ident one

  is_ident(; (x,yxy); 1)

By: Analyze THEN Reduce Concl


Generated subgoals:

None

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

PrintForm Definitions IteratedBinops Sections DiscrMathExt Doc