Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

q:. x:q List. q = 0 x = []

Applied Tactic: UnivCD THENW Auto
Generated subgoals:

1. x = []