Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

St:. l:St List. f:St St. (+f)(l) St List

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

1. (+f)(l) St List