Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
q:
. 1-1-Corresp(
q List;
)
Applied Tactic:
D 0 THENW Auto
Generated subgoals:
1
. 1-1-Corresp(
q List;
)
q:
. 1-1-Corresp(q List;)q List;)