Level: Lib Thy Top: 1
Hypotheses:

  1. Alph :

  2. L : Alph List

  3. n :

Conclusion:

(Ln) Alph List

Applied Tactic: NatInd 3
Generated subgoals:

1. (L0) Alph List

2. (Ln) Alph List