Level: Lib Thy Top: 1
Hypotheses:

  1. n :

  2. L : List

Conclusion:

||n:L||

Applied Tactic: ListInd 2
Generated subgoals:

1. ||n:[]||

2. ||n:u::v||