IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
least satisfies21 1. p : {p:()| i:. p(i) }
2. (least i:. p(i)) {i:| p(i) & (j:. j<ip(j)) }
p(least i:. p(i))
By:
Analyze-1 THEN Analyze1 THEN Unhide
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
)| 
i:
{i:
j:
p(j)) }
p(least i:
