Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

A:. L:L(A). Rl A List A List

Applied Tactic: (UnivCD ...a)
Generated subgoals:

1. Rl A List A List