Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
L,M:T List.
eq:T
T
. (
eq) L M
Applied Tactic:
UnivCD THENA Auto
Generated subgoals:
1
. (
eq) L M
T:
. L,M:T List. eq:T 
T 
. (
eq) L M 
eq) L M