PrintForm Definitions IteratedBinops Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: exponent zero
  x:. x0 = 1
By: Compute x0 * 1 ...

Generated subgoals:

None

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

PrintForm Definitions IteratedBinops Sections DiscrMathExt Doc