Nuprl - Proof: sq stable from decidable

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

P:Prop. Dec(P)

SqStable(P)

By:	UnivCD THEN (Backchain [Thm* Stable{P} SqStable(P);Thm* Dec(P) Stable{P}])

Generated subgoals:

None

About:

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