(3steps total) PrintForm core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: let wf 1
1. A : Type
2. B : Type
3. a : A
4. b : AB
  (x.b(x))(a)  B
By: Reduce 0

Generated subgoal:

1   b(a)  B
Auto

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

(3steps total) PrintForm core StandardLIB Doc