PrintForm Definitions Lemmas core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable not
  P:Prop. SqStable(P)
By: (Analyze 0) THEN (Backchain [Thm* Stable{P}  SqStable(P);Thm* Stable{P}])

Generated subgoals:

None

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

PrintForm Definitions Lemmas core StandardLIB Doc