IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
least characterized1 p:{p:(0)| i:0. p(i) }.
(least i:. p(i)) {i:0| p(i) & (j:i. p(j)) }
By:
0 is empty
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
p:{p:(
0
)| 
i:
(least i:
{i:
p(j)) }
