(3steps total) PrintForm core StandardLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: member wf
  A:Type, a:A. (a  A)  Type
By: UnivCD

Generated subgoal:

1 1. A : Type
2. a : A
  (a  A)  Type
2 steps

About:
universememberall
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

(3steps total) PrintForm core StandardLIB Search Doc