Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

P,Q:. SqStable(P) SqStable(Q) {SqStable(P Q) SqStable(P) SqStable(Q)}

Applied Tactic: Unfold `guard` 0 THEN Auto
Generated subgoals:

1. SqStable(P) SqStable(Q)