Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
eq:T
T
. (
eq)
T List
T List
Applied Tactic:
Unfold `sublist_2` 0 THEN Auto
Generated subgoals:
None
T:
. eq:T 
T 
. (
eq) 
T List T List