Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
(
n,L,z.||n:L||)
n:
L:
List
True
Applied Tactic:
ProveOpCombTyping `el_counter_wf`
Generated subgoals:
None
(
n,L,z.||n:L||) 
n:
L: List 
True 