Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
eq:T
T
.
x:T.
L:T List. SqStable(
x(
eq) L)
Applied Tactic:
UnivCD THENA Auto
Generated subgoals:
1
. SqStable(
x(
eq) L)
T:
. eq:T 
T 
. x:T. L:T List. SqStable(
x(
eq) L)x(eq) L)