Level: Lib Thy Top: 1
Hypotheses:

  1. n : {1...}

  2. A :

  3. L : L(A)

Conclusion:

L A List

Applied Tactic: (Unfold `languages` 3 ...)
Generated subgoals:

None