(6steps total) PrintForm Definitions Lemmas rat 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: eq rat sym
  x,y:. x =q y  y =q x
By: UnivCD

Generated subgoal:

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

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

(6steps total) PrintForm Definitions Lemmas rat 1 Sections StandardLIB Doc