Nuprl - Pf sq stable functionality wrt or

P,Q:Prop. SqStable(P) SqStable(Q) SqStable(P Q) SqStable(P) SqStable(Q)

By: Unfold `guard` 0

Generated subgoal:

1 1. P: Prop
2. Q: Prop
3. SqStable(P)
4. SqStable(Q)
5. SqStable(P Q)
SqStable(P) SqStable(Q)

About: