Level: Lib Thy Top: 1 1
Hypotheses:

  1. Alph :

  2. St :

  3. Auto : Automata(Alph;St)

  4. l : Alph List

Conclusion:

I(Auto) = I(Auto)

Applied Tactic: Auto
Generated subgoals:

None