Nuprl - Proof: sq stable squash

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable squash

P:Prop. SqStable(

By:	Unfold `sq_stable` 0 THEN UnivCD

Generated subgoal:

1 1. P : Prop
2. P
P
1 step

About:

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