(6steps total) PrintForm Definitions sqequal 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bool sq
  SQType()
By: RepUnfolds [`sq_type`;`guard`] 0 THEN UnivCD

Generated subgoal:

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

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

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