(3steps total) PrintForm Definitions sqequal 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: int sq
  SQType()
By: Unfold `sq_type` 0 THEN UnivCD

Generated subgoal:

1 1. x : 
2. y : 
3. x = y
  x ~ y
2 steps

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

(3steps total) PrintForm Definitions sqequal 1 Sections StandardLIB Doc