(17steps 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 trans
  x,y,z:. x =q y  y =q z  x =q z
By: RepeatMFor 3 (Analyze 0)

Generated subgoal:

1 1. x : 
2. y : 
3. z : 
  x =q y  y =q z  x =q z
16 steps

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

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