Level: Lib Thy Top: 1
Hypotheses:

  1. A :

  2. L : L(A)

Conclusion:

Rl A List A List

Applied Tactic: (Unfold `languages` 2 THENM Unfold `lang_rel` 0 ...)
Generated subgoals:

None