Level:
Lib
Thy
Top
:
1
Hypotheses:
n :
l :
n List
Conclusion:
0
Applied Tactic:
Auto
Generated subgoals:
None
n List
0 