Nuprl - Proof: sq stable subtype rel

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable subtype rel

A,B:Type. SqStable(A

r B)

By:	Unfold `sq_stable` 0 THEN Analyze 0 THEN Analyze -2 THEN DoSubsume

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html