Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
eq:{T=
}.
L:T List. L(
eq)[]
L = []
Applied Tactic:
UnivCD THENA Auto
Generated subgoals:
1
. L(
eq)[]
L = []
T:
. eq:{T=
}. L:T List. L(
eq)[] 
L = []eq)[] L = []