Level: Lib Thy Top: 1 3
Hypotheses:

  1. A :

  2. L : L(A)

Conclusion:

Trans(A List;x,y.x Rl y)

Applied Tactic: (BLemma `lang_rel_tran` ...)
Generated subgoals:

None