(3steps total) PrintForm core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: member wf 1
1. A : Type
2. a : A
  (a  A)  Type
By: UnfoldAtAddr [2] 0

Generated subgoal:

1   (a = a)  Type
Auto

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

(3steps total) PrintForm core StandardLIB Doc