Level: Lib Thy Top: 1
Hypotheses:

  1. Alph :

  2. L : Alph List

  3. l : Alph List

Conclusion:

L l L l L l

Applied Tactic: GenUnivCD THENW Auto
Generated subgoals:

1. L l

2. L l L l