Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

T:. l:T List. ||l|| = 0 l = []

Applied Tactic: UnivCD THENW Auto
Generated subgoals:

1. l = []